#include<iostream>
using namespace std;
int main(){
	int a,b,c;
	while(cin>>a>>b>>c){
		if((a==5&&b==7&&c==5)||(a==7&&b==5&&c==5)||(a==5&&b==5&&c==7)){
			cout<<"YES"<<endl;
			cout<<"Using three phrases of length "<<a<<", "<<b<<" and "<<c<<", it is possible to construct a Haiku."<<endl;
		}else {
			cout<<"NO"<<endl;
		}
    }
	
	
	
	return 0;
} 