How do you find two solutions of the equations cottheta=-sqrt3?