loading SCIP...
11 41203 true
2 7 8 17 36 50 55 61 80 96 98