loading SCIP...
10 41406 true
4 7 16 36 42 47 53 69 87 89