nash.py: fix runtime error with rational not assigned

Now the external solvers should work.