loading SCIP...
8 47265 true
4 6 8 9 46 71 84 97