Editing: dpll.h

BATAL