Update satsolver.py