1: \begin{abstract}

2: We show that the Identity Problem is decidable for finitely generated sub-semigroups of the group $\UT(4, \Z)$ of $4 \times 4$ unitriangular integer matrices.

3: As a byproduct of our proof, we have also shown the decidability of several subset reachability problems in $\UT(4, \Z)$.

4: \end{abstract}

5: