How do you solve sinx=-sqrt2/2?