Measurement of the Bs⁰ meson lifetime in Ds⁺pi⁻ decays