#include<stdio.h>
int main()
{
	int d1,h1,m1,d2,h2,m2,flag;
	scanf("%d %d %d",&d1,&h1,&m1);
	scanf("%d %d %d",&d2,&h2,&m2);
	if(d1!=7&&d1!=1)
	{
		if(d1==d2)
		{
			if(h1==h2)
			{
				if(m1>m2)
					flag=0;
				else
					flag=1;
			}
			else if(h1>h2)
				flag=0;
			else
				flag=1;
		}
		else if(d1>d2)
			flag=0;
		else if(d1+1==d2)
		{
			if(h1==h2)
			{
				if(m1>=m2)
					flag=1;
				else
					flag=0;
			}
			else if(h1<h2)
				flag=0;
			else
				flag=1;
		}
		else
			flag=0;
	}
	else if(d1==1&&d1!=7)
	{
		if(d2==1)
		{
			if(h1==h2)
			{
				if(m1>m2)
					flag=0;
				else
					flag=1;
			}
			else if(h1>h2)
				flag=0;
			else
				flag=1;
		}
		else if(d2==7)
			flag=0;
		else if(d2==2)
		{
			if(h1==h2)
			{
				if(m1>=m2)
					flag=1;
				else
					flag=0;
			}
			else if(h1<h2)
				flag=0;
			else
				flag=1;
		}
		else
			flag=0;
	}
	else
	{
		if(d2==7)
		{
			if(h1==h2)
			{
				if(m1>m2)
					flag=0;
				else
					flag=1;
			}
			else if(h1>h2)
				flag=0;
			else
				flag=1;
		}
		else if(d2>1&&d2<7)
			flag=0;
		else if(d2==1)
		{
			if(h1==h2)
			{
				if(m1>=m2)
					flag=1;
				else
					flag=0;
			}
			else if(h1<h2)
				flag=0;
			else
				flag=1;
		}
		else
			flag=0;
	}
	if(flag==1)
		printf("Y e s\n");
	else
		printf("N o\n");
	
	return 0;
}