[ Eq(1*k1*x2 + 1*k1*x3, k1*k15) ]