diophantine equation 5x - 7y = 11