cap2 noramsey tests 67 agree 67 reference SAT/UNSAT 0 67
