loading SCIP...
47 141 true
10 11 16 17 19 23 24 25 28 29 31 33 34 37 38 39 40 41 42 43 50 51 52 56 57 58 60 61 64 66 68 69 75 77 80 81 86 87 89 91 92 93 94 95 96 97 98