SAT Testing: Slingshot Automatic Transmission