[ 1*x[1] + 1*x[2] + 1*x[12] = k[15],
  1*x[3] + 1*x[4] = k[16],
  1*x[7] + 1*x[10] = k[17] ]