loading SCIP...
18 30609 true
4 6 19 21 24 42 53 54 55 57 58 60 67 71 74 88 89 95