loading SCIP...
17 31687 true
1 4 6 11 14 17 18 24 25 28 69 74 75 82 86 88 89