loading SCIP...
8 37625 true
3 16 19 31 46 56 75 83