Trigonometric Identities · Hard problem

Evaluate $\sin\left(\frac{7 \pi}{12}\right)\cos\left(\frac{17 \pi}{12}\right)$ exactly, using a product-to-sum formula.