loading SCIP...
17 32156 true
2 21 37 45 46 49 53 54 60 62 67 69 71 84 86 88 92