IMO 2009, Problema 5