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