[ x[11] = x[3] + x[4] + x[5] + x[9] + x[10]*k[7]/k[8],
  x[12] = x[6] + x[7] + x[8] + x[9] + x[10]*k[7]/k[8] ]