4个变量的第12个极大项