loading SCIP...
36 2188 true
2 3 10 14 19 21 22 23 24 26 27 30 34 35 36 37 39 40 42 48 55 59 60 64 73 74 75 79 80 81 84 89 91 92 93 98