loading SCIP...
18 28171 true
2 6 11 13 14 19 21 26 34 36 37 38 46 56 63 74 77 86