Week 12 - Math Olympiad through Brute Force Search