loading SCIP...
44 906 true
0 2 4 5 7 11 12 16 17 23 26 27 29 30 32 34 39 44 45 49 51 54 60 61 64 68 69 73 77 78 79 80 81 84 85 86 88 89 90 91 94 95 98 99