loading SCIP...
11 42953 true
0 24 30 31 34 43 60 72 89 95 98