loading SCIP...
11 35078 true
10 12 17 18 25 76 79 83 84 96 99