#include <iostream> #include <cstdio> #include <cstdlib> #include <cmath> #include <queue> #include <algorithm> #include <vector> #include <cstring> #include <stack> #include <cctype> #include <utility> #include <map> #include <string> #include <climits> #include <set> #include <string> #include <sstream> #include <utility> #include <ctime> //#pragma comment(linker, "/STACK:1024000000,1024000000") using std::priority_queue; using std::vector; using std::swap; using std::stack; using std::sort; using std::max; using std::min; using std::pair; using std::map; using std::string; using std::cin; using std::cout; using std::set; using std::queue; using std::string; using std::istringstream; using std::getline; using std::make_pair; using std::greater; int quant[34]; int init[34]; bool dfs(int dep) { if(dep == 4) return true; for(int i = 0; i < 34; ++i) if(quant[i] >= 3) { quant[i] -= 3; if(dfs(dep+1)) return true; quant[i] += 3; } for(int i = 0; i < 24; ++i) if(i%9 <= 6 && quant[i] && quant[i+1] && quant[i+2]) { --quant[i]; --quant[i+1]; --quant[i+2]; if(dfs(dep+1)) return true; ++quant[i]; ++quant[i+1]; ++quant[i+2]; } return false; } bool check() { memcpy(quant, init, sizeof(quant)); for(int i = 0; i < 34; ++i) if(quant[i] >= 2) { quant[i] -= 2; if(dfs(0)) return true; quant[i] += 2; } return false; } char str[34][10] = {"1T", "2T", "3T", "4T", "5T", "6T", "7T", "8T", "9T", "1S", "2S", "3S", "4S", "5S", "6S", "7S", "8S", "9S", "1W", "2W", "3W", "4W", "5W", "6W", "7W", "8W", "9W", "DONG", "NAN", "XI", "BEI", "ZHONG", "FA", "BAI"}; char temp[10]; int search(char *p) { for(int i = 0; i < 34; ++i) if(strcmp(str[i], p) == 0) return i; } int main() { int n_case(0); while(scanf("%s", temp), temp[0] != '0') { memset(init, 0, sizeof(init)); ++init[search(temp)]; for(int i = 1; i < 13; ++i) { scanf("%s", temp); ++init[search(temp)]; } printf("Case %d:", ++n_case); bool flag(true); for(int i = 0; i < 34; ++i) if(init[i] < 4) { ++init[i]; if(check()) { printf(" %s", str[i]); flag = false; } --init[i]; } if(flag) printf(" Not ready"); printf("\n"); } return 0; }