1991 AIME Problems/Problem 12