loading SCIP...
14 34625 true
9 11 18 32 34 39 43 46 53 86 88 91 92 95