loading SCIP...
10 46578 true
12 20 22 28 46 69 76 85 86 94