loading SCIP...
26 16859 true
2 8 9 10 12 13 23 24 28 30 31 40 41 49 58 67 69 71 72 74 81 83 90 94 97 98