[ x[10] = k[1] - (x[2] + x[4] + x[5] + x[3]),
  x[11] = k[2] - x[6],
  x[12] = k[3] - x[7],
  x[13] = k[4] - x[8],
  x[14] = k[5] - x[9] ]