Solution of the task: IMO Shortlist 1992 problem 20
Solutions
#Time ↓TaskUserSolutionCorrectness
150035 years, 9 monthsIMO Shortlist 1992 problem 20nolo_moses empty