loading SCIP...
13 28422 true
4 8 13 20 24 51 53 69 71 84 85 97 98