loading SCIP...
12 39438 true
9 16 21 22 26 37 46 47 60 63 65 91