loading SCIP...
9 46657 true
5 45 50 52 53 65 75 87 88