loading SCIP...
48 156 true
0 1 2 3 5 6 9 11 14 15 18 19 25 26 28 31 35 36 37 38 41 44 51 52 56 57 58 59 60 62 63 73 75 77 78 79 81 84 85 86 87 90 92 94 95 96 98 99