loading SCIP...
12 38516 true
0 4 12 33 37 58 66 68 75 85 91 95