Putting SATs to the Test

by