loading SCIP...
27 14046 true
2 3 13 17 23 24 26 31 39 40 41 48 49 52 55 58 66 67 68 70 71 74 81 84 85 87 98