loading SCIP...
9 40375 true
10 19 21 22 29 61 85 88 91