{ 1*x4 + 1*x5 = k19,
  1*x6 + 1*x7 = k20 }