loading SCIP...
16 35328 true
8 14 25 26 40 44 45 64 67 76 78 79 83 84 86 95