@marissakawehi the  group. it embeds discretely in a simply connected solvable lie group, but does not embed as a lattice in any such lie group. it's also the fundamental group of the twisted circle bundle over the möbius band 🥴