#include<iostream>
#include<algorithm>
#include<map>
#include<cstring>
#include<string>
#include<vector>
#include<queue>
#include<cmath>
#include<iomanip>
using namespace std;
const int maxn =1e5+4;
const int inf=1e9;
typedef long long ll;
const ll mod=998244353;
int main(){
	int a,b,c;
	int ar[3];
	while(cin>>a>>b>>c){
		ar[0]=a;
		ar[1]=b;
		ar[2]=c;
		sort(ar,ar+3);
		if(ar[0]==5&&ar[1]==5&&ar[2]==7){
			cout<<"YES"<<endl;
			printf("Using three phrases of length%d,%dand%d,it is possible to construct a Haiku.\n",a,b,c);
		}
		else
			cout<<"NO"<<endl;
		}
}