loading SCIP...
43 1484 true
6 7 8 10 11 12 15 18 20 24 25 27 31 33 34 35 37 38 39 42 43 44 46 48 49 51 53 59 60 61 63 64 65 66 69 71 74 80 84 89 93 96 97