IMO 2024 Solutions