Match #49615

OBTT: (Sigma catset) vs (KTA Groenkouter)