#include <iostream>
using namespace std;

int p[15],e[15];

bool solve(int min,int max,int d,int s,int k){
    if(s==0)return true;
    if(k==0)return false;
    if(d==0){       //playe
        bool l=false,h=false;
        if(p[min]==0&&p[max]==0)return solve(min, max, (d+1)%2, s, k);
        if(p[min]){
            p[min]=0;
            l=solve(min-1, max, (d+1)%2, s-1, k);
            p[min]=1;
        }
        if(p[max]){
            p[max]=0;
            h=solve(min, max+1, (d+1)%2, s-1, k);
            p[max]=1;
        }
        if(l||h)return true;
        else return false;
    }
    else{       //enemy
        bool l=true,h=true;
        if(e[min]==0&&e[max]==0)return solve(min, max, (d+1)%2, s, k);
        if(e[min]){
            e[min]=0;
            l=solve(min-1, max, (d+1)%2, s, k-1);
            e[min]=1;
        }
        if(e[max]){
            e[max]=0;
            h=solve(min, max+1, (d+1)%2, s, k-1);
            e[max]=1;
        }
        if(l==false||h==false)return false;
        else return true;
    }
}

int main(void){
    int n;
    cin>>n;
    while (n) {
        for (int i=1; i<=13; i++) {
            p[i]=0;
            e[i]=1;
            if(i==7)e[i]=0;
        }
        int f;
        for (int i=0; i<6; i++) {
            cin>>f;
            p[f]=1;
            e[f]=0;
        }
        if(solve(6,8,0,6,6))cout<<"yes"<<endl;
        else cout<<"no"<<endl;
        n--;
    }
    return 0;
}