How do you find the general solutions for #sqrt3 sinx - cosx = 1 #?