loading SCIP...
28 11375 true
0 6 9 15 18 19 25 26 27 39 42 46 49 52 53 55 57 60 64 68 70 72 74 75 76 79 81 95