loading SCIP...
18 28703 true
4 5 14 17 22 24 29 32 34 38 51 60 63 70 71 74 86 88