[ Eq(1*k2*x1 + 1*k3*x2 + 1*k5*x3 + 1*k4*x4, k2*k20 + k3*k21 + k4*k23 + k5*k22) ]