loading SCIP...
11 41687 true
5 18 39 50 54 60 63 68 82 83 85