loading SCIP...
27 11671 true
0 3 4 7 10 13 17 19 24 26 43 51 53 55 58 59 62 64 66 69 70 71 81 82 83 88 95