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