loading SCIP...
11 41000 true
4 10 12 27 31 44 47 52 58 74 79