Non-solvable torsion-free virtually solvable groups - Jonathan A. Hillman (2023)