How do you solve tanx=-sqrt3?