loading SCIP...
45 1656 true
0 3 5 7 8 9 11 12 13 16 17 18 19 23 28 29 31 34 35 37 38 40 43 47 51 54 56 63 68 69 71 73 74 77 80 81 82 83 85 86 89 93 96 98 99