loading SCIP...
24 16188 true
2 4 5 6 7 8 19 27 28 31 34 47 51 56 68 69 76 78 83 85 86 91 94 99