Added DPLL algorithm