Oi Marcelo, acho que a solução padrão é essa mesmo. Foi essa que eu e mais 3 colegas vimos tb. Parece que há soluções mais complicadas(sempre há...). Conversei com um ex-professor meu de quando eu fiz IME/ITA e com um atual prof. lá da UERJ (ele tb é do IME) e os dois acham que a solução está correta sim. Parabéns!! []'s Alexandre Vellasquez