loading SCIP...
11 39750 true
3 6 7 9 22 55 66 68 80 87 91