How do you solve y+12=1y3?