group10 > ∞
resolved