z=2*x+y+6*z, 4*x+y = 5, 12*z+y = 7