loading SCIP...
44 1422 true
2 4 5 6 8 10 11 12 18 21 31 35 39 40 42 43 46 51 52 54 55 58 60 61 63 66 67 69 70 73 74 78 80 84 86 87 88 90 91 92 93 95 97 98