[ Eq(1*k1*x7 + 1*k1*x8 + 1*k1*x10 + 1*k1*x11, k1*k13) ]