How do you solve sinx=1/sqrt2?