{ 1*k7*x1 + 1*k7*x2 + 1*k7*x3 + 1*k7*x4 + 1*k7*x5 = k7*k8 }