a^bb^cc^aa^cc^dd^a\geq b^ac^ba^cc^ad^ca^d