loading SCIP...
8 45141 true
2 32 55 72 79 80 95 97