//Lin dao^-^
//你是一个烘焙师
//（超鸡肋版） 
#include <bits/stdc++.h>
using namespace std;
int arr[100];
int main() {
	int n = 6, ans = 0, sum = 0;
	cout << "猜猜我的手里有多少个蛋糕？" << endl;
	cout << "（输入6个数字）" << endl;
	cout << "（如果数字中含有正确的蛋糕数，则会输出yes! 否则输出no!）" << endl; 
	for (int i = 1; i <= n; i++) {
		cin >> arr[i];
	}
	bool u = false;
	for (int i = 1; i <= n; i++) {
		ans += arr[i] / 3;
	    sum = 5 * (ans / 2) / 5;
		if (arr[i] == sum && arr[i] <= 15) {
			u = true; 
		}
	} 
	if (u) {
		cout << "yes!" << endl;
	} else {
		cout << "no!" << endl;
	}
	return 0;
}