loading SCIP...
9 46546 true
4 5 24 44 45 60 64 87 94