Proof Writing & Problem Solving · Superchallenge problem

Let $a_1 = a_2 = a_3 = 1$ and, for $n \ge 3$, $a_{n+1} = \dfrac{a_n a_{n-1} + 2}{a_{n-2}}$. Strong induction shows every term is an integer. What is $a_{12}$?