Solve sin x = -\sqrt 3/2 on [0, 2pi)