#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;
    return 0;
}
/**************************************************************
	Problem: 1634
	User: chenjiahui
	Language: C++
	Result: Accepted
	Time:3 ms
	Memory:2072 kb
****************************************************************/