Đối với rất nhiều sinh viên, có được một chiếc vé đến ICPC World Finals là một thành tựu lớn, và kì ICPC Asia 2019 Danang Regional Contest là một cơ hội để biến những ước mơ đó thành hiện thực. Với những người khác, họ chỉ đơn thuần muốn tư duy và giải được những bài toán thú vị.

Chúng tôi - ban ra đề, đã hiểu được điều đó và chúng tôi đã làm hết sức để tạo ra được một bộ đề sao cho hấp dẫn và đa dạng ở cả dạng bài và độ khó. Trong vài tháng, chúng tôi đã được đề xuất những đề bài từ rất nhiều người, và có được ~a~ bài dễ, ~b~ bài trung bình, và ~c~ bài khó.

Với những đề xuất trên, chúng tôi muốn tạo ra một bộ đề bài sao cho:

• Chứa đúng ~n~ bài tập,
• Có ít nhất ~1~ bài dễ,
• Có ít nhất ~1~ bài trung bình,
• Có ít nhất ~1~ bài khó.

Bạn hãy kiểm tra xem, chúng tôi có thể tạo ra một bộ đề thỏa mãn điều kiện trên từ các bài tập đề xuất đã nhận được hay không?

Input

Gồm một dòng chứa ~4~ số nguyên ~a, b, c, n~ ~(0 \le a, b, c \le 10, 1 \le n \le 20)~

Output

In ra YES nếu có thể tạo ra bộ đề bài đúng như yêu cầu, nguọc lại in ra NO.

Sample Input 1

0 3 3 5

Sample Output 1

NO

Sample Input 2

4 10 6 13

Sample Output 2

YES

Giải thích

• Trong ví dụ đầu tiên, ban ra đề không nhận được bài dễ nào, vì vậy họ không thể tạo ra bộ đề với ít nhất ~1~ bài dễ.
• Trong ví dụ thứ hai, có nhiều cách để tạo ra một bộ đề thỏa điều kiện, trong đó, ta có thể chọn ~3~ bài dễ, ~7~ bài trung bình, và ~3~ bài khó, để có bộ đề với đúng ~13~ bài tập.