finished DPLL