loading SCIP...
28 13156 true
0 2 5 10 22 23 24 28 31 35 39 44 50 57 63 64 65 66 68 71 83 84 87 90 91 92 93 95