How do you solve sinx+2=3?