loading SCIP...
12 39375 true
2 3 4 8 9 31 36 39 67 79 84 85