Finished DPLL