#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: admin
	Language: C++
	Result: Accepted
	Time:4 ms
	Memory:2072 kb
****************************************************************/