{ 1*k3*x1 + 1*k3*x3 + 1*k3*x4 = k3*k4,
  1*k3*x2 + 1*k3*x3 = k3*k5 }