loading SCIP...
12 35422 true
10 15 38 39 45 46 52 66 68 74 88 97