loading SCIP...
11 43859 true
1 3 17 29 56 60 68 71 74 77 85