Solution: We seek the smallest $n > 0$ such that $2^n \equiv 12 \pmod25$. - Groen Casting