{ 1*k3*x4 + 1*k3*x6 + 1*k3*x7 = k3*k17 }