The unexpectedly hard windmill question (2011 IMO, Q2)