loading SCIP...
11 40968 true
17 25 40 68 70 71 74 75 84 90 99