ICPC 2019 vòng Quốc gia - I: IMO Harder Problem