[ 1*k[18]*x[1] + 1*k[18]*x[2] + 1*k[18]*x[4] + 1*k[18]*x[5] = k[18]*k[19] ]