Equilateral dimension of the Heisenberg group

Let $\mathfrak{H}$ be the first Heisenberg group equipped with the Kor\'anyi metric $d$. We prove that the equilateral dimension of $\mathfrak{H}$ is 4.