{ x6 = x3 + 2*x4 + 2*x5,
  1*k19*x2 + 1*k19*x5 = k19*k20 }