cap2 tests 67 agree 67 reference SAT/UNSAT 0 67
