Update dpll.py