loading SCIP...
16 32484 true
0 3 5 7 9 25 27 37 42 48 50 51 65 69 78 94