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