How do you solve tanx=1/sqrt3?