loading SCIP...
12 39812 true
2 9 32 38 41 42 49 54 56 58 64 93