loading SCIP...
8 52000 true
9 10 20 24 26 58 65 73