Artificial SAT data