loading SCIP...
12 38734 true
5 7 14 20 54 57 70 74 79 85 86 93