solve {sin(x)=sin(12x)=sin(720