loading SCIP...
10 47046 true
2 4 7 13 16 21 40 72 79 80