Question: A paleontologist dates a fossil using a sequence of radiometric decay steps modeled by $2^n \equiv 12 \pmod{25}$. What is the smallest positive integer $n$ satisfying this congruence?