暂无测试数据。

蒜头君要乘坐飞机去北京了。

但是北京现在要求外地进京人员需要 7 天以内的核酸检测阴性证明。蒜头君看了看自己核酸检测报告的时间，再看了看他的机票。他想知道飞机起飞的时候他的核酸检测报告是否依然有效。

输入格式

第一行为两个整数 $d1,t1$，表示蒜头君的报告从 2 月 $d1$ 日 $t1$ 时开始生效。

第二行为两个整数 $d2,t2$，表示蒜头君的航班起飞时间是 2 月 $d2$ 日 $t2$ 时。

数据范围满足 $1\le d1\le d2\le 28,0\le t1,t2<24$

输出格式

如果有效，输出YES。否则输出NO。

2 3
7 4

YES

2 3
10 4

NO