loading SCIP...
21 25281 true
0 5 8 9 14 19 21 31 36 37 39 41 48 53 54 64 70 82 83 85 89