loading SCIP...
8 54985 true
2 4 12 21 32 41 47 83