resolver (51)+(12)=.​