  We show that $\mathbb{S}ol^3\times\mathbb{E}^1$-manifolds are Seifert fibred,
with general fibre the torus, and base one of the seven flat 2-orbifolds $T,
Kb, \mathbb{A}, \mathbb{M}b, S(2,2,2,2), P(2,2)$ or $\mathbb{D}(2,2)$, and
outline a classification of such 4-manifolds.
