Change the output of solve_univariate to Sympy Set