We give an algorithm that decides whether a single equation in group is virtually class $2$ nilpotent with cyclic commutator subgroup, such as the Heisenberg group, admits solution. This generalises work of Duchin, Liang and Shapiro to finite extensions.
