loading SCIP...
11 36890 true
14 22 23 26 50 51 60 64 83 94 99