#include<stdio.h>
int main(){
	int n1,i1,j1,n2,i2,j2;
	scanf("%d%d%d",&n1,&i1,&j1);
	scanf("%d%d%d",&n2,&i2,&j2);
	if(n1==7)
	n2+=7;
	if(n1==n2)
	    printf("Y e s\n");
	else if(n2==(n1+1)){
		if((24-i1+i2)<24)
		    printf("Y e s\n");
		else if((24-i1+i2)==24){
			if(j1>=j2)
			    printf("Y e s\n");
			else
			    printf("N o\n");
		}
		else
		   printf("N o\n");  
	}
	else
	    printf("N o\n");
}