LKLogic is going live! Nice Math Olympiad Problem