loading SCIP...
18 33219 true
0 6 11 31 32 34 42 43 46 51 52 56 68 76 79 83 89 97