#include <stdio.h>
int d1,d2,h1,h2,m1,m2;
int main(int argc, char const *argv[])
{
	scanf("%d%d%d",&d1,&h1,&m1);
	scanf("%d%d%d",&d2,&h2,&m2);
	int interval=0;
	interval=((d2-d1+7)%7)*24*60+(h2-h1)*60+(m2-m1);
	if(interval>24*60)
	{
		printf("N o\n");
	}else
	{
		printf("Y e s\n");
	}
	return 0;
}