loading SCIP...
28 12890 true
4 6 7 8 10 13 14 15 18 26 28 36 38 43 48 51 56 58 67 69 71 73 79 85 87 90 94 99