Jasper Yu
says to
YSITD
怒ㄛ 我只想問SAT Solver的部分