[ 1*x[4] + 1*x[5] = k[19],
  1*x[6] + 1*x[7] = k[20] ]