[ Eq(1*k23*x2 + 1*k23*x3 + 1*k23*x4 + 1*k23*x5 + 1*k23*x6 + 1*k23*x7 + 1*k23*x8 + 1*k23*x9 + 1*k23*x10 + 1*k23*x11 + 1*k23*x12 + 1*k23*x13, k23*k24) ]