adding unit propagation for DPLL