DPLL exercises
Run DPLL by hand, from unit propagation to the answer, and check every move.