国际大学生数学竞赛，难度比普特南高多了...