loading SCIP...
8 26172 true
9 16 20 27 39 55 64 91