solve_univariate: dropped FiniteSet(list)