[ 1*k[6]*x[5] + 1*k[6]*x[6] = k[6]*k[145],
  1*k[6]*x[22] + 1*k[6]*x[23] = k[6]*k[146] ]