In 1985 Allen was thrice as old as Judy, but in 1989 he was twice as she was. How old was Allen in 1990 ?

Question

$\begin{array}{1 1} (a)\; 17 \\ (b)\; 12 \\ (c)\; 15 \\ (d)\;14\end{array}$