loading SCIP...
12 39515 true
5 8 16 19 28 33 38 43 46 62 69 72