[ x[2] = k[71]/k[69]*k[1]/k[2]*k[69],
  1*x[11] + 1*x[12] = k[77] ]