Match #49617

OBTT: (KEKSTOLFUS) vs (Sigma catset)