loading SCIP...
9 48562 true
26 28 33 34 46 53 67 75 85