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