Delete satisfaction.py~