#include <cstdio>
using namespace std;

int main(){
	int a, b, c;
	while(scanf("%d%d%d", &a, &b, &c) == 3){
		int t[11] = {};
		t[a] = t[b] = t[c] = 1;
		int u = 0;
		for(int i = 1; i <= 10; ++i){
			if(!t[i] && a + b + i <= 20){ ++u; }
		}
		puts(u > 3 ? "Yes" : "No");
	}
}