Updated Sympy solutions.