{ 1*k4*x5 + 1*k5*x6 + 1*k4*x7 + 1*k4*x8 + 1*k5*x10 + 1*k4*x12 + 1*k5*x13 + 1*k4*x14 + 1*k4*x21 + 1*k5*x22 + 1*k4*x23 = k4*k76 + k5*k77 }