loading SCIP...
16 34985 true
2 12 18 19 20 32 49 51 52 63 65 71 78 79 83 89