Imo 2022 problem 5.