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