loading SCIP...
36 3406 true
0 2 3 4 13 17 18 20 24 30 31 34 37 39 40 42 45 48 50 51 52 54 60 64 66 69 70 71 76 81 82 84 86 93 98 99