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