loading SCIP...
13 36406 true
2 7 13 15 21 54 65 68 69 77 84 86 96