make solve.py work on older sympy
minor test change