K 10 tests 50 agree 50 reference SAT/UNSAT 7 43
