loading SCIP...
11 38484 true
2 5 6 37 40 61 67 68 71 75 95