Added the DPLL algorithm