dpll_solve scaffold