loading SCIP...
9 32656 true
2 17 27 32 52 56 63 64 65