How do you solve cos3x=1/sqrt2?