loading SCIP...
13 39328 true
2 9 10 22 32 40 49 55 61 68 77 82 89