loading SCIP...
12 36266 true
10 20 22 24 27 33 40 42 46 65 79 99