How do you find the general solutions for tan(x/2) = sqrt{3}?