Existence and Uniqueness of Control Sets with a Nonempty Interior for Linear Control Systems on Solvable Groups | Synapse