Modified the dpll algorithm