Theo Dương lịch mỗi năm có 12 tháng. Trong đó:

+ Các tháng 1, 3, 5, 7, 8, 10, 12 có 31 ngày.

+ Các tháng 4, 6, 9, 11 có 30 ngày.

+ Tháng 2 có 29 ngày nếu năm nhuận, 28 ngày nếu năm không nhuận.

Biết rằng năm nhuận là năm chia hết cho 400 hoặc chia hết cho 4 mà không chia hết cho 100.

Yêu cầu: Hãy cho biết ngày \(d\) tháng \(m\) năm \(y\) có thuộc Dương lịch hay không?

Dữ liệu vào:

+ Ba số nguyên dương \(d,\ m,\ y\ (d,\ m,\ y10000)\).

Kết quả:

+ In ‘YES’ nếu ngày \(d\) tháng \(m\) năm \(y\) thuộc Dương lịch, ngược lại xuất ‘NO’.

Ví dụ: