Atualizacao de estados que sao resolviveis. 
Testados os resolviveis.