loading SCIP...
11 40687 true
4 14 19 25 37 45 57 59 85 86 87