loading SCIP...
9 52672 true
1 6 19 21 32 34 54 59 63