modified:   dpll.py