loading SCIP...
9 23531 true
5 29 39 41 48 52 72 75 88