Update driverSAT.py

code cleanup