#DAY050. 2024.2.22.2-SAT问题