Delete dpll2.py