Enunciado do problema.