#include<bits/stdc++.h>
using namespace std;
int main(){
    int c,s,a1,a2,a3;
    cin>>c>>s>>a1>>a2>>a3;
    c=a1+a2+a3;
    if(c<=20){
        cout<<"YES"<<endl;
    }
    else{
        cout<<"NO"<<endl;
    }
}
/**************************************************************
	Problem: 1634
	User: wangyiyang
	Language: C++
	Result: Accepted
	Time:6 ms
	Memory:2072 kb
****************************************************************/