loading SCIP...
10 45657 true
2 8 31 41 42 47 48 56 84 95