loading SCIP...
12 40016 true
0 16 17 38 39 48 51 58 62 83 84 88