Fix backtrackin in DPLL algorithm.