loading SCIP...
11 42546 true
37 38 41 42 43 52 67 75 80 85 87