YSITD_TG_Bot1
says to
#ysitd
<koru1130>: Z3的原理是什麼啊