12th maxterm in 4 variables