#include<bits/stdc++.h>
using namespace std;
int main(){
  int n;
  cin>>n;
  while(n--){
    bool used[14]={},ans;
    for(int i=0,a;i<6;i++)
      cin>>a,used[a]=1;
    if(used[13]&&used[1])ans=0;
    else if(!used[1]&&!used[13])ans=1;
    else{
      int l=6,r=8,t=0;
      if(used[1]){
	while(1){
	  if(t){
	    if(!used[r])r++;
	    else if(!used[l])l--;
	  }
	  else{
	    if(used[l])l--;
	    else if(used[r])r++;
	  }
	  if(r==13){ans=0;break;}
	  if(l==1){ans=1;break;}
	  t=!t;
	}
      }
      else{
	while(1){
	  if(t){
	    if(!used[l])l--;
	    else if(!used[r])r++;
	  }
	  else{
	    if(used[r])r++;
	    else if(used[l])l--;
	  }
	  if(r==13){ans=1;break;}
	  if(l==1){ans=0;break;}
	  t=!t;
	}
      }
    }
    if(ans)cout<<"yes"<<endl;
    else cout<<"no"<<endl;
  }
  return 0;
}