#include<stdio.h>
#include<string.h>
#include<stdlib.h>
int main(){
	int hour1,hour2,min1,min2,xq1,xq2;
	int a[100];
	scanf("%d%d%d",&xq1,&hour1,&min1);
	scanf("%d%d%d",&xq2,&hour2,&min2);
	if(xq2>xq1){
		if(xq2-xq1>=2)
			printf("N o");
		else if(xq2-xq1==1){
			if(hour2>hour1)
				printf("N o");
			else if(hour2==hour1){
			if(min2>min1)
				printf("N o");
			else
				printf("Y e s");
			}
			else
				printf("Y e s");
		}
		else
			printf("Y e s");
	}
	else if(xq2<xq1){
	if(xq1!=7)
	printf("N o");
	else{
	if(xq2!=1)
		printf("N o");
	else{
	  if(hour2>hour1)
		  printf("N o");
	  else if(hour2<hour1)
		  printf("Y e s");
	  else{
		  if(min2>min1)
		  printf("N o");
		  else
			  printf("Y e s");
	  }
	}

	}
	}
	else
		printf("Y e s");
	return 0;
}