IMO 2007 (PROBLEMA 6)