General solution of sin x = 1/2 on R