Putting the SAT to the Test