loading SCIP...
10 34078 true
18 23 46 50 56 65 70 71 89 90