loading SCIP...
9 51984 true
13 22 23 30 33 56 60 65 98