Existence, Uniqueness & Bifurcations · Hard problem

Treat $y$ as an angle: $y' = \dfrac12 - \sin y$ with $y(0) = \pi$. Find $\displaystyle\lim_{t\to\infty} y(t)$.