How do you solve for x: x/3=12?