loading SCIP...
14 34750 true
3 6 18 19 34 41 52 53 55 63 64 69 86 99