#include<stdio.h>
int main()
{
	int dayo,dayt,houro,hourt,mino,mint;
	scanf("%d %d %d",&dayo,&houro,&mino);
	scanf("%d %d %d",&dayt,&hourt,&mint);
	if(dayt < dayo)
	dayt += 7;
	if(dayt > dayo)
	hourt += (dayt - dayo)*24;
	if(hourt > houro)
	mint += (hourt - houro)*60;
	if(mint - mino > 24*60)
	printf("N o\n");
	else
	printf("Y e s\n");
}