Trigonometric Identities · Hard problem

Evaluate $\sin\left(2\cdot\frac{23 \pi}{12}\right)$ exactly, using a double-angle formula.