loading SCIP...
9 46140 true
13 22 24 28 48 50 57 85 97