Hardest problem in International Mathematical Olympiad Ever