选择特殊符号

6-1XKSAT