loading SCIP...
35 5890 true
1 3 5 8 10 13 17 20 22 24 28 29 32 35 36 38 42 45 48 50 51 55 60 62 66 71 73 76 77 79 80 85 86 92 94