#include <stdio.h>
void swap(int*a,int*b)
{
    int t=*a;
    *a=*b;
    *b=t;
}
void exchange(int*a,int*b,int*c)
{
    if(*a>*b) swap(a,b);
    if(*a>*c) swap(a,c);
    if(*b>*c) swap(b,c);
}
int main() {
   int v1,v2,v3,a1,a2,a3;
   scanf("%d %d %d\n%d %d %d",&v1,&v2,&v3,&a1,&a2,&a3);
   exchange(&v1,&v2,&v3);
   exchange(&a1,&a2,&a3);
   if(a3>v2 && a2>v1)
   {
    printf("Yes");
   }
   else {
  printf("No");
   }

    return 0;
}