loading SCIP...
9 32203 true
5 13 19 28 42 46 50 83 95