loading SCIP...
19 29000 true
0 2 10 15 18 25 34 43 45 46 49 71 73 76 78 82 96 97 98