loading SCIP...
18 28219 true
3 4 14 15 21 24 29 31 37 44 49 53 61 66 67 80 82 91