stefansteve1999@tg
says to
YSITD
但這種SMT會不會受SAT問題影響