loading SCIP...
8 28703 true
3 8 17 29 32 46 79 97