[ 1*k[5]*x[1] + 1*k[5]*x[3] = k[5]*k[7],
  1*k[5]*x[2] + 1*k[5]*x[3] + 2*k[5]*x[4] + 1*k[5]*x[6] = k[5]*k[8] ]