Rework DPLL algorithm.