{ 1*k6*x1 + 1*k6*x2 + 1*k6*x3 + 1*k6*x4 = k6*k7 }