loading SCIP...
9 33360 true
5 29 48 53 79 85 92 93 95