#include <cstdio>
#include <iostream>
#include <vector>

using namespace std;

int main()
{
    int a,b,c;
    cin >> a >> b >> c;

    int f=0;
    if(a!=5&&a!=7)
        f=1;
    if(b!=5&&b!=7)
        f=1;
    if(c!=5&&c!=7)
        f=1;
    int n=a+b+c;
    if(n%17!=0)
        f=1;
    if(f==0)
        cout << "YES" << '\n' << "Using three phrases of length "<<a<<", "<<b<<" and "<<c<<", it is possible to construct a Haiku";

    if(f==1)
        cout << "NO";

    return 0;


}

