Solve: sin x + cos x = 1 on [0, 2pi)