IMO 2021 Day 1 solutions and discussion