Solve[sin(t) + sqrt(3)cos(t) == 1,t]