IMO 2008, Problema 1