Melhorias nas condições de parada de solve(), etc