#include<bits/stdc++.h>
using namespace std;
int n;
string s;
bool check(){
    for(int i=0;i<(1<<n);i++) if(s[i]=='0'){
        for(int j=i;j;j=(j-1)&i) if(s[((j-1)&i)]=='1'){
            return false;
        }
    }
    return true;
}
string solve(int now,vector<int> &t){
    if(now==n){
        return "T";
    }
    vector<int> t0,t1;
    for(int i:t){
        if(i&(1<<now)){
            t1.push_back(i);
        }
        else{
            t0.push_back(i);
        }
    }
    t.clear();
    string temp;
    temp=char('a'+now);
    if(t0.size()&&t1.size()){
        string s1=solve(now+1,t0);
        string s2=solve(now+1,t1);
        if(s2=="T"){
            s2=temp;
        }
        else{
            s2="("+temp+"&"+s2+")";
        }
        if(s1!="T"){
            s1="("+s1+"|"+s2+")";
        }
        return s1;
    }
    if(t0.size()){
        return solve(now+1,t0);
    }
    if(t1.size()){
        string s=solve(now+1,t1);
        if(s=="T"){
            return temp;
        }
        else{
            return "("+temp+"&"+s+")";
        }
    }
    return {};
}
int main(){
    cin.tie(0)->sync_with_stdio(0);
    int T;
    cin>>T;
    while(T--){
        cin>>n>>s;
        if(!check()){
            cout<<"No\n";
            continue;
        }
        cout<<"Yes\n";
        vector<int> t;
        for(int i=0;i<(1<<n);i++) if(s[i]=='1'){
            bool flag=1;
            for(int j=i;j;j=(j-1)&i) if(s[((j-1)&i)]=='1'){
                flag=0;
                break;
            }
            if(flag){
                t.push_back(i);
            }
        }
        if(t.empty()){
            cout<<"F";
        }
        else{
            cout<<solve(0,t);
        }
        cout<<"\n";
    }
    return 0;
}