loading SCIP...
8 46578 true
6 10 21 43 56 65 86 90