dpll almost finished