Atualizações na formulação do problema