Algoritmo_de_Davis-Putnam loading ...