loading SCIP...
8 27328 true
2 6 27 34 40 41 55 71