#include<bits/stdc++.h>
using namespace std;
#define ll long long
int check(ll k){
	for (int i=2;i<=sqrt(k);i++) {
		if(k%i==0) return 0;
	}
	return k>1;
}
bool check2(ll k){
	int res=0;
	int dem=0;
	while (k){
		if(check(k%10)){
			res+=k%10;
			k/=10;
		}
		else return false;
	}
	if(check(res)) return true;
	else return false;
}
 
int main(){
	ll k,n; cin>>k>>n;
	string s=to_string(k); 
	if(check(k) && check2(k)&& s.size()==n) cout<<"Thoa man!";
	else cout<<"Khong thoa man!";
	return 0;
}

I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBsbCBsb25nIGxvbmcKaW50IGNoZWNrKGxsIGspewoJZm9yIChpbnQgaT0yO2k8PXNxcnQoayk7aSsrKSB7CgkJaWYoayVpPT0wKSByZXR1cm4gMDsKCX0KCXJldHVybiBrPjE7Cn0KYm9vbCBjaGVjazIobGwgayl7CglpbnQgcmVzPTA7CglpbnQgZGVtPTA7Cgl3aGlsZSAoayl7CgkJaWYoY2hlY2soayUxMCkpewoJCQlyZXMrPWslMTA7CgkJCWsvPTEwOwoJCX0KCQllbHNlIHJldHVybiBmYWxzZTsKCX0KCWlmKGNoZWNrKHJlcykpIHJldHVybiB0cnVlOwoJZWxzZSByZXR1cm4gZmFsc2U7Cn0KCmludCBtYWluKCl7CglsbCBrLG47IGNpbj4+az4+bjsKCXN0cmluZyBzPXRvX3N0cmluZyhrKTsgCglpZihjaGVjayhrKSAmJiBjaGVjazIoaykmJiBzLnNpemUoKT09bikgY291dDw8IlRob2EgbWFuISI7CgllbHNlIGNvdXQ8PCJLaG9uZyB0aG9hIG1hbiEiOwoJcmV0dXJuIDA7Cn0=