#include <iostream>
using namespace std;
int main(){
  int q;
  cin>>q;
  int d,x;
  long long int t;
  long long int p,p2,p3,p4;
  int i,j;
  for(i=0;i<q;i++){
    cin>>d>>x>>t;
    //d[i]+x[i]-1 C x[i]
    p=d+x-1;
    p2=p;
    p3=x;
    p4=p3;
    for(j=0;j<(x-1);j++){
      p=p*(p2-1);
      p2-=1;
      p3=p3*(p4-1);
      p4-=1;
      if(p>1000000000000000){
          p=4;p3=2;t=1;//zetubou
          break;
      }
    }
    if((p/p3)<=t)cout<<"AC"<<p<<"/"<<p3<<"-"<<t<<endl;
    else cout<<"ZETUBOU"<<p<<"/"<<p3<<"-"<<t<<endl;
  }
  
}