{ 1*k6*x3 + 1*k6*x4 + 1*k6*x5 = k6*k7 }