loading SCIP...
27 13985 true
9 17 18 24 29 32 35 37 39 42 47 51 52 54 56 61 66 68 74 76 81 83 89 92 93 94 96