loading SCIP...
11 42250 true
4 7 18 32 36 38 39 40 41 78 87