loading SCIP...
12 39578 true
10 23 32 44 54 62 63 66 75 78 81 99