  (Free-abelian)-by-free, self-similar groups generated by finite self-similar
sets of tree automorphisms and having unsolvable conjugacy problem are
constructed. Along the way, orbit undecidable, free subgroups of GL_d(Z), for d
> 5, and Aut(F_d), for d > 4, are constructed as well.
