[ 1*x[1] + 2*x[6] + 1*x[7] = k[10],
  1*x[2] + 2*x[5] + 1*x[8] = k[11],
  1*x[3] + 1*x[5] = k[12],
  1*x[4] + 1*x[6] = k[13] ]