loading SCIP...
11 41390 true
8 9 11 15 18 46 62 65 75 78 90