#include <iostream>
#include <cstring>

using namespace std;

bool card[2][14];

bool solve() {
	if (card[0][1] && card[0][13]) return false;
	if (!(card[0][1] || card[0][13])) return true;
	int cnt = 12;
	int l = 7, r = 7;
	if (card[0][1]) {
		while (true) {
			if (l - 1 > 0 && card[0][l - 1]) card[0][l - 1] = false, cnt--, l--;
			else if (r + 1 < 14 && card[0][r + 1]) card[0][r + 1] = false, cnt--, r++;
			if (cnt == 0) return false;
			if (r + 1 < 14 && card[1][r + 1]) card[1][r + 1] = false, cnt--, r++;
			else if (l - 1 > 0 && card[1][l - 1]) card[1][l - 1] = false, cnt--, l--;
			if (cnt == 0) return true;
		}
	} else {
		while (true) {
			if (r + 1 < 14 && card[0][r + 1]) card[0][r + 1] = false, cnt--, r++;
			else if (l - 1 > 0 && card[0][l - 1]) card[0][l - 1] = false, cnt--, l--;
			if (cnt == 0) return false;
			if (l - 1 > 0 && card[1][l - 1]) card[1][l - 1] = false, cnt--, l--;
			else if (r + 1 < 14 && card[1][r + 1]) card[1][r + 1] = false, cnt--, r++;
			if (cnt == 0) return true;
		}
	}
}

int main() {
	int n; cin >> n;
	while (n--) {
		memset(card[0], false, sizeof(card[0]));
		memset(card[1], true, sizeof(card[1]));
		card[1][7] = false;
		for (int i = 0; i < 6; ++i) {
			int f; cin >> f;
			card[0][f] = true; card[1][f] = false;
		}
		cout << (solve() ? "yes" : "no") << endl;
	}

	return 0;
}
