loading SCIP...
9 38812 true
2 15 18 22 29 41 53 81 92