loading SCIP...
8 46969 true
4 6 9 20 46 55 80 93