a∧3-6a∧2b+12ab∧2-8b∧3