SAT problem 日期篩選