loading SCIP...
9 35250 true
2 11 20 31 47 58 60 62 95