Delete DPLL2.py

I want to replace this file with a new version. I dooooooont know how to do it .........