loading SCIP...
12 42735 true
2 8 13 16 35 36 38 47 51 74 82 88