#include <stdio.h>
#include <iostream>
#include <string.h>
#include <algorithm>
using namespace std;
int a[3];
int main()
{
    
    int f1=0,f2=0,flag=0;
    for(int i=0;i<3;i++)
    {
        cin>>a[i];
        if(a[i]!=5&&a[i]!=7)
        {
           // cout<<"NO"<<endl;
            flag=1;
            break;
        }
        else
        {
            if(a[i]==5)
                f1++;
            if(a[i]==7)
                f2++;
            if(f1>2||f2>1)
            {
                flag=1;
                break;
            }
        }
    }
    if(flag==1)
        cout<<"NO"<<endl;
    else
        cout<<"YES"<<endl;
    return 0;
}


