loading SCIP...
12 41594 true
9 14 15 20 45 50 63 68 79 82 86 87