[ Eq(1*k31*x1 + 1*k31*x2 + 1*k31*x3 + 1*k31*x4 + 1*k31*x5 + 1*k31*x6 + 1*k31*x7 + 1*k31*x8 + 1*k31*x9, k31*k32) ]