loading SCIP...
14 34750 true
16 25 28 32 47 56 63 65 68 77 80 82 91 94