Versão final do Algoritmo Exato