Formulação Implicita Pronta com Bug Fixed. Faltam testes mais conclusivos.