loading SCIP...
11 39422 true
18 25 26 29 39 42 71 75 78 82 85