Algoritmo_DPLL loading ...