#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

int main(){
	vector <int> v;
	int a, b, c,lim;
	for (int i = 1; i < 10; i++){
		v.push_back(i);
		cout << v[i];
	}
	cin >> a >> b >> c;
	lim = 20 - a - b;
	v.erase(v.begin() + a - 1);
	v.erase(v.begin() + b - 1);
	v.erase(v.begin() + c - 1);
	if (v[2] <= lim)cout << "yes" << endl;
	else cout << "no" << endl;
}