[ 1*x[1] + 1*x[3] = k[8],
  1*x[2] + 1*x[3] + 1*x[5] + 1*x[6] = k[9],
  1*x[4] + 1*x[6] = k[10] ]