loading SCIP...
11 37563 true
0 8 11 35 41 44 55 58 71 73 84