YSITD_TG_Bot
says to
#ysitd
<Icenowy>: 可惜我不用 z3 了