#include<iostream>
using namespace std;

int main(){
int C[3],ans,a,b;
while(cin>>c[0]>>c[1]>>c[2]){
b=c[0]+c[1];
ans=0;
for(int i=1;i<11;i++){
if(i!=c[0]&&i!=c[1]&&i!=c[2]){
c=b;
c+=i;
if(c<=20)ans++;}}
if(ans>=4)cout<<"YES"<<endl;
else cout<<"NO"<<endl;}}