more progress on adding satisfying assignment to DPLL output