[ 1*x[1] + 1*x[2] + 1*x[12] = k[15], 1*x[3] + 1*x[4] = k[16], 1*x[7] + 1*x[10] = k[17] ]