loading SCIP...
46 906 true
0 3 4 7 8 9 10 13 14 15 16 20 21 23 26 27 29 31 36 39 41 42 52 55 58 59 60 64 67 68 69 70 71 72 75 76 78 79 81 83 84 85 86 87 89 95