Return the first supergroup
“First” as defined by lexicographically decreasing order.
GAS constraints