[ 1*k[2]*x[8] + 1*k[2]*x[9] + 1*k[2]*x[11] = k[2]*k[60] ]