{ 1*k5*x1 + 1*k5*x3 = k5*k7, 1*k5*x2 + 1*k5*x3 + 2*k5*x4 + 1*k5*x6 = k5*k8 }