loading SCIP...
28 8343 true
0 1 8 10 11 12 24 25 27 29 35 39 47 49 57 61 62 65 71 73 79 81 84 89 93 94 96 98