loading SCIP...
46 125 true
2 7 11 12 15 18 20 22 24 25 26 28 31 32 34 36 37 39 40 42 44 46 48 50 51 53 62 65 66 68 70 74 79 82 83 84 85 88 90 91 92 95 96 97 98 99