SHARYGIN 2013 Problem 2

Let $ABC$ be an isosceles triangle $(AC = BC)$ with $\angle C = 20^\circ$. The bisectors of angles $A$ and $B$ meet the opposite sides at points $A_1$ and $B_1$ respectively. Prove that the triangle $A_1OB_1$ (where $O$ is the circumcenter of $ABC$) is regular.