Groups elementarily equivalent to metabelian Baumslag-Solitar groups and regular bi-interpretability

We prove that metabelian Baumslag-Solitar group BS (1, k), k>1, is (strongly) regularly bi-interpretable with the ring of integers Z, and describe in algebraic terms all groups that are elementarily equivalent to BS (1, k).