[ Eq(1*k3*x4 + 1*k3*x6 + 1*k3*x7, k3*k17) ]