loading SCIP...
11 42359 true
3 14 29 42 55 61 69 78 84 89 96