loading SCIP...
10 42125 true
0 24 37 39 47 56 59 62 74 76