loading SCIP...
12 39125 true
2 26 28 31 33 41 55 66 67 74 79 84