Comment by llwu

Partial credit is quite challenging to earn, per: https://www.imo-official.org/year_statistics.aspx?year=2024