YSITD_TG_Bot
says to
#ysitd
<seadog007>: 無解就是unsat