loading SCIP...
12 37906 true
2 6 10 23 38 54 55 66 78 80 84 97