Update code/dpll.cpp