 Solution

If two lengths differed by at least two, replacing two deepest sibling leaves by their parent and splitting a shallower leaf lowers total length, contradicting optimality. Thus lengths are $b=\lfloor {\log }_{2}m\rfloor$ and $b+1$. Kraft equality gives $n_b=2^{b+1}-m$ and $n_{b+1}=2m-2^{b+1}$, hence