[ x[6] = x[3] + 2*x[4] + 2*x[5],
  1*k[19]*x[2] + 1*k[19]*x[5] = k[19]*k[20] ]