Lattices on Benson-Gordon type solvable Lie groups

Benson and Gordon constructed the unimodular solvable Lie group GBG. In this paper, we prove that GBG admits lattices. In addition, we construct compact symplectic solvmanifolds without the Hard Lefschetz property.