loading SCIP...
29 11984 true
1 2 10 13 18 19 22 23 28 30 36 39 40 46 52 64 65 69 70 81 83 84 85 89 90 95 97 98 99