imprime o resultado do algoritmo exato quando aborta o teste da heurística