loading SCIP...
10 41390 true
7 23 34 44 46 53 54 59 62 94