[ 1*x[1] + 1*x[2] = k[4] ]