loading SCIP...
26 16219 true
5 6 11 19 22 25 26 35 37 38 42 52 53 54 56 61 64 65 78 83 85 86 89 94 96 99