{ 1*k25*x2 + 1*k25*x3 + 1*k25*x5 + 1*k25*x19 = k25*k27,
  1*k25*x4 + 1*k25*x6 + 1*k26*x17 + 1*k26*x18 = k25*k28 + k26*k29 }