loading SCIP...
13 34171 true
2 9 22 27 45 48 51 53 60 65 72 89 95