loading SCIP...
11 36609 true
2 30 32 38 42 43 48 54 57 75 90