How do you solve 2cosx + sqrt3=0 for x in the interval [0,2pi)?