loading SCIP...
9 49391 true
25 28 46 52 56 58 71 86 98