loading SCIP...
12 40547 true
9 17 21 23 26 29 31 53 62 75 88 91