How do you solve sinx=sqrt3/2?