Update driverSAT.py

bug fixes
todo: finish arg handlers