loading SCIP...
12 39641 true
2 17 27 31 38 42 44 61 62 69 76 99