loading SCIP...
46 1109 true
0 2 3 5 7 8 11 12 15 16 20 32 33 34 36 37 38 40 43 50 54 56 59 60 61 64 67 69 70 71 73 74 77 80 83 84 87 88 91 92 93 95 96 97 98 99