Rename driverSAT.py to driver.py