DPLL algorithm implemented