x=y-6, z=5+x, x+y+z=20