solve (0=16x+20y+25z, 0=-16x+4y-z) over the integers