Getting numerical solutions, but want exact solver