loading SCIP...
8 49296 true
9 12 21 29 31 39 75 85