Unsolvability of the isomorphism problem for [free abelian]-by-free groups · wovepaper