loading SCIP...
12 39625 true
2 12 18 30 31 32 36 45 69 74 84 87