#include<bits/stdc++.h>
using namespace std;
int main()
{
    int tmp;
    vector<int> time;
    int count = 0;
    while(cin>>tmp)
    {
        if(!(count/3))
            time.push_back(tmp);
        else
        {
            if(tmp>time[count%3]||(tmp==time[count%3]&&count==5))
            {
                cout<<"yes"<<endl;
                break;
            }
            else if(tmp<time[count%3])
            {
                cout<<"no"<<endl;
                break;
            }
        }
        count++;
    }
    return 0;
}