How do you solve #sinx=1/sqrt2#?