Task: Textual Entailment
Input (Persian): در سده‌ی چهارم قمری/دهم میلادی قرلق‌ها مسلمان شدند و نخستین پادشاه آن‌ها سُتوک (سُتُق) بُغراخان بود که بعد از مسلمان شدن نامش را به عبدالکریم تغییر داد. او از کاشغر بر قوم خود فرمانروایی می‌کرد. 
على تگین قراخانی، اولین پادشاه قرلقان بود که اسلام را پذیرفت.
Output (English): C