# d = 8: a b area I method result counts secs
32 40 1212 60 full-SAT SAT {'V': 118, 'R': 20, 'F': 143, 'S': 123} 14.9
