loading SCIP...
21 24016 true
2 15 20 22 32 35 37 39 41 47 51 52 53 64 66 69 76 80 87 93 95