YSITD_Chat_Bot
says to
#ysitd
<seadog007>: (racterub: 剛剛問到ㄌ...) 怒ㄛ 我只想問SAT Solver的部分