loading SCIP...
9 46937 true
21 24 27 34 42 48 60 64 95