loading SCIP...
40 1171 true
1 5 6 7 8 9 13 15 20 21 22 23 28 31 34 37 38 44 48 51 54 57 65 66 69 71 75 78 81 83 85 86 88 89 91 92 93 94 98 99