loading SCIP...
9 48859 true
9 21 26 30 31 45 59 66 80