loading SCIP...
10 43406 true
4 5 17 19 24 37 51 67 72 98