#include <iostream>
#include <algorithm>
#include <cassert>
#include <cctype>
#include <cstdio>
#include <math.h>
#include <map>
#include <queue>
#include <string>
using namespace std;

int c1,c2,c3;

int main(){
	while(cin>>c1>>c2>>c3){
		int n=0;
		for(int i=1;i<11;i++)if(i!=c1&&i!=c2&&i!=c3&&c1+c2+i<=20)n++;
		if(n>3)cout<<"YES"<<endl;
		else cout<<"NO"<<endl;
	}
}