loading SCIP...
26 14281 true
0 3 14 15 22 26 27 31 33 36 38 43 44 48 53 65 66 71 73 76 80 81 83 85 94 97