loading SCIP...
11 40109 true
3 31 41 66 69 72 77 80 86 91 95