\sin \left( \frac{\pi}{3} - x \right) = \frac{1}{2}