See http://www.ece.cmu.edu/~mvelev/sat_benchmarks.html
