{ 1*k16*x1 + 1*k16*x2 + 1*k16*x3 + 1*k16*x4 = k16*k17 }