Tablet Author

#include <iostream>
#include <algorithm>
#include <string>
#include <assert.h>
using namespace std;



long long readInt(long long l,long long r,char endd){
    long long x=0;
    int cnt=0;
    int fi=-1;
    bool is_neg=false;
    while(true){
        char g=getchar();
        if(g=='-'){
            assert(fi==-1);
            is_neg=true;
            continue;
        }
        if('0'<=g && g<='9'){
            x*=10;
            x+=g-'0';
            if(cnt==0){
                fi=g-'0';
            }
            cnt++;
            assert(fi!=0 || cnt==1);
            assert(fi!=0 || is_neg==false);

            assert(!(cnt>19 || ( cnt==19 && fi>1) ));
        } else if(g==endd){
            assert(cnt>0);
            if(is_neg){
                x= -x;
            }
            assert(l<=x && x<=r);
            return x;
        } else {
            assert(false);
        }
    }
}
string readString(int l,int r,char endd){
    string ret="";
    int cnt=0;
    while(true){
        char g=getchar();
        assert(g!=-1);
        if(g==endd){
            break;
        }
        cnt++;
        ret+=g;
    }
    assert(l<=cnt && cnt<=r);
    return ret;
}
long long readIntSp(long long l,long long r){
    return readInt(l,r,' ');
}
long long readIntLn(long long l,long long r){
    return readInt(l,r,'\n');
}
string readStringLn(int l,int r){
    return readString(l,r,'\n');
}
string readStringSp(int l,int r){
    return readString(l,r,' ');
}


int T;
int n,b;


int main(){
    //freopen("0.txt","r",stdin);
    //freopen("0o.txt","w",stdout);
    T=readIntLn(1,100);
    while(T--){
        n=readIntSp(1,100);
        b=readIntLn(1,1000000);
        int sol=0;
        for(int i=0;i<n;i++){
            int w,h,p;
            w=readIntSp(1,10000);
            h=readIntSp(1,10000);
            p=readIntLn(1,10000000);
            if(p<=b){
                sol=max(sol,w*h);
            }
        }
        if(sol == 0){
            cout<<"no tablet"<<endl;
        } else {
            cout<<sol<<endl;
        }

    }
    assert(getchar()==-1);
}