loading SCIP...
12 39438 true
8 9 10 14 24 53 63 77 84 93 94 97