Imports Vector as qualified and makes progress on solver