loading SCIP...
45 984 true
0 1 2 4 5 8 11 13 14 16 21 22 23 24 25 26 27 28 31 34 36 42 43 44 47 48 50 54 57 60 64 68 69 71 78 80 83 84 90 91 92 96 97 98 99