loading SCIP...
9 52531 true
21 32 45 54 63 64 73 75 86