#include <iostream>
#include <bits/stdc++.h>

using namespace std;

int main()
{
    int a[10];
    scanf("%d%d%d",&a[0],&a[1],&a[2]);
    int t1=0,t2=0;
    for(int i=0;i<3;++i){
        if(a[i]==7) t1++;
        else if(a[i]==5) t2++;
    }
    if(t1==1&&t2==2) printf("YES\nUsing three phrases of length a[0], a[1] and a[2], it is possible to construct a Haiku.\n");
    else printf("NO/n");
    return 0;
}
