[ Eq(1*x1 + 1*x2 + 1*x3 + 1*x4, k13) ]