loading SCIP...
28 11578 true
1 6 7 8 9 17 35 37 41 46 50 59 61 62 64 66 69 71 72 74 75 76 77 78 84 91 92 95