#include<stdio.h>
int main(){
int w1,w2,h1,h2,t1,t2;
scanf("%d%d%d%d%d%d",&w1,&h1,&t1,&w2,&h2,&t2);
if((w1-w2)==0||((w2-w1)==1&&(((24+h2)-h1)<24||(((24+h2)-h1)==24&&(t1-t2)>=0)))||(w2==1&&w1==7&&(((24+h2)-h1)<24||(((24+h2)-h1)==24&&(t1-t2)>=0)))
){
printf("Y e s\n");
}
else printf("N o\n");
return 0;
}