{ 1*x2 + 1*x3 + 3*x6 + 2*x7 + 3*x11 = k24,
  1*x10 + 1*x11 = k25,
  1*x14 + 1*x15 = k26 }