1987 AIME Problems/Problem 13