#include<stdio.h>
int main()
{
	int a1,a2,a3,b1,b2,b3,c,t1,t2,t3;
	scanf("%d %d %d",&a1,&a2,&a3);
	scanf("%d %d %d",&b1,&b2,&b3);
	t1=a2*60+a3;
	if(b1>=a1)c=b1-a1;
	else c=7+b1-a1;
	t2=c*24*60*60+b2*60+b3;
	if((t2-t1)<=(24*60*60))
		printf("Y e s\n");
	else printf("N o\n");
}