loading SCIP...
11 36687 true
1 13 16 21 40 56 57 63 74 86 95