loading SCIP...
19 28625 true
2 6 8 16 22 25 40 47 51 55 56 62 65 73 74 76 77 92 98