loading SCIP...
15 35078 true
1 11 19 20 22 37 41 55 60 69 70 71 74 86 93