On torsion-free groups with finite regular file bases

The following question was asked by V. V. Bludov in The Kourovka Notebook in 1995: If a torsion-free group $G$ has a finite system of generators $a_1$, …, $a_n$ such that every element of $G$ has a unique presentation in the form $a_1^{k_1}\mathrm{.}\mathrm{.}\mathrm{.}{a}_n^{k_n}$ where $k_i\in \mathbb{Z}$, is it true that $G$ is virtually polycyclic? The answer is ``not always.‘’ A counterexample is constructed in this paper as a group presented by generators and defining relations.