loading SCIP...
18 29547 true
0 1 2 8 11 12 26 27 28 36 39 45 61 67 76 79 94 99