diophantine(x**2 - 4*x*y + 8*y**2 - 3*x + 7*y - 5)