loading SCIP...
9 32203 true
2 14 38 43 48 54 57 64 80