[ x[11] = x[5] + x[10],
  x[12] = x[2] + x[3] + x[4] + x[6] + x[7] + x[8] + x[9],
  1*k[17]*x[2] + 1*k[17]*x[3] + 1*k[17]*x[4] + 1*k[17]*x[5] = k[17]*k[19],
  1*k[17]*x[6] + 1*k[17]*x[7] + 1*k[17]*x[8] + 1*k[17]*x[9] + 1*k[17]*x[10] = k[17]*k[20] ]