loading SCIP...
9 47610 true
3 16 21 39 45 71 78 85 87