2025 AIME I Problems/Problem 12