#include<iostream>
using namespace std;

int main(){
	int myc1, myc2, yourc;
	while(cin >>myc1 >>myc2 >>yourc){
		if(myc1 == EOF) break;
		int mysum = myc1 + myc2, cnt = 0;
		for(int i = 1; i < 10; i++){
			if(i == myc1 || i == myc2 || i == yourc) continue;
			if(i + mysum <= 20) cnt++;
		}
		if(cnt >= 4) cout <<"YES" <<endl;
		else cout <<"NO" <<endl;
	}
	return 0;
}