Problem:
サイコロパズル

各面にアルファベット一文字(a 〜 z、A 〜 Z)が描かれたサイコロがあります。

このようなサイコロを8つ組み合わせて 2 × 2 × 2 の立方体を作ることを考えます。

組み合わせ方には条件があり、各サイコロの向き合う面は同じアルファベットでかつ一方が小文字、も
う一方が大文字でなければなりません。例えば、a と描かれた面に接することができるのは A と描か
れた面です。ただし、接するときの文字の向きは問いません。

このルールに従い、８つのサイコロの情報を入力とし、立方体を作れるか否かを判定するプログラムを作成してください。立方体を作れる場合は YES（半角英大文字）、作れない場合は NO（半角英大文字）と出力してください。

なお、サイコロの各面の文字を次の図にあるように c1 〜 c6 と表すことにします。

また、1つのサイコロに同じ文字が複数回描かれていることは無いものとします（同じアルファベットの大文字と小文字はその限りではありません）。

Input

複数のデータセットの並びが入力として与えられます。入力の終わりはゼロひとつの行で示されます。
各データセットは以下の形式で与えられます。

s1
s2
:
s8

i 行目に i 個目のサイコロの情報 si が与えられます。si は長さ 6 の文字列であり j 文字目がサイコロの各面 cj に対応します。

データセットの数は 50 を超えません。

Output

データセットごとに判定結果（半角英大文字）を１行に出力します。

Sample Input

zabZNq
BCxmAi
ZcbBCj
aizXCm
QgmABC
JHzMop
ImoXGz
MZTOhp
zabZnQ
BCxmAi
ZcbBCj
aizXCm
QgmABC
JHzMop
ImoXGz
MZTOhp
abcdef
ABDCFE
FBDCAE
abcdef
BEACDF
bfcaed
fabcde
DEABCF
UnivOf
AizuaH
zTXZYW
piglIt
GRULNP
higGtH
uAzIXZ
FizmKZ
UnivOf
AizuaH
piglIt
higGtH
GRULNP
uAzIXZ
FizmKZ
ZTXzYW
0

Output for the Sample Input

YES
NO
YES
YES
NO

Solution in C++ (judge verdict: Time Limit Exceeded)

#include <iostream>
#include <complex>
#include <sstream>
#include <string>
#include <algorithm>
#include <deque>
#include <list>
#include <map>
#include <numeric>
#include <queue>
#include <vector>
#include <set>
#include <limits>
#include <cstdio>
#include <cctype>
#include <cmath>
#include <cstring>
#include <cstdlib>
#include <ctime>
using namespace std;
#define REP(i, j) for(int i = 0; i < (int)(j); ++i)
#define FOR(i, j, k) for(int i = (int)(j); i < (int)(k); ++i)
#define SORT(v) sort((v).begin(), (v).end())
#define REVERSE(v) reverse((v).begin(), (v).end())
typedef complex<double> P;
const int N = 8;

int H[6][6] = {
  {1,5,2,3,0,4}, // North : ?\\????§????   ( y:-1 )
  {3,1,0,5,4,2}, // East  : ???????§????   ( x:+1 )
  {2,1,5,0,4,3}, // West  : ???????§????   ( x:-1 )
  {4,0,2,3,5,1}, // South : ??????????§???? ( y:+1 )
  {0,2,4,1,3,5}, // Right : ?????????????????¢ (?§??????????)
  {0,3,1,4,2,5}  // Left  : ?????????????????¢ (?§??????????)
};

// ???????????????????????????
// d[0] := top,   d[1] := front 
// d[2] := right, d[3] := left
// d[4] := back,  d[5] := bottom
enum{TOP, FRONT, RIGHT, LEFT, BACK, BOTTOM};
struct Cube{
  vector<char> d;
  Cube(vector<char> v) { d = v; }
  Cube(string &s){ d = vector<char>(6); REP(i, s.length()) d[i] = s[i]; }
  Cube(){ d = vector<char>(6, '-'); }
  Cube roll(int dir){
    vector<char> d_(6);
    for(int i = 0 ; i < 6 ; i++ ) d_[i] = d[H[dir][i]];
    return Cube(d_);
  }
  string to_string(){
    stringstream ss;
    REP(i, 6) ss << d[i];
    return ss.str();
  }
};
bool operator<(const Cube& a, const Cube& b) {
  if( a.d[0] == b.d[0] )
    return a.d[1] < b.d[1];
  return a.d[0] < b.d[0];
}


bool ans = false;
int D[12][4] = {
  {0, 1, RIGHT, LEFT},
  {0, 2, FRONT, BACK},
  {0, 4, BOTTOM, TOP},
  {1, 3, FRONT, BACK},
  {1, 5, BOTTOM, TOP},
  {2, 3, RIGHT, LEFT},
  {2, 6, BOTTOM, TOP},
  {3, 7, BOTTOM, TOP},
  {4, 5, RIGHT, LEFT},
  {4, 6, FRONT, BACK},
  {5, 7, FRONT, BACK},
  {6, 7, RIGHT, LEFT}
};

vector<Cube> make_tmp_cubes(Cube c){
  set<Cube> res;
  res.insert(c);
  REP(i, 3) { c = c.roll(4); res.insert(c); }
  Cube tmp[5];
  REP(i, 4) tmp[i] = c.roll(i);
  tmp[4] = tmp[3].roll(3);
  REP(i, 5){
    res.insert(tmp[i]);
    REP(j, 3) { tmp[i] = tmp[i].roll(4); res.insert(tmp[i]); }
  }
  return vector<Cube>(res.begin(), res.end());
}

bool check(int n, Cube v[N]){
  //cout <<n <<" : "; REP(i, N) cout <<v[i].to_string() <<", "; cout <<endl;
  REP(i, 12){
    int a = D[i][0], b = D[i][1], da = D[i][2], db = D[i][3];
    if(a > n || b > n) continue;
    //cout <<"    " <<a <<", " <<b <<", " <<da <<", " <<db <<endl;
    if(toupper(v[a].d[da]) != toupper(v[b].d[db])) return false;
    if((isupper(v[a].d[da]) && isupper(v[b].d[db])) || (islower(v[a].d[da]) && islower(v[b].d[db]))) return false;
  }
  return true;
}

void dfs(int n, Cube v[N], Cube cs[N], vector<bool> &used){
  if(ans) return ;
  if(n >= N) { ans = true; return ; }

  REP(i, N){
    if(used[i]) continue;
    used[i] = true;
    vector<Cube> tcs = make_tmp_cubes(cs[i]);
    REP(j, tcs.size()){
      v[n] = tcs[j];
      if(!ans && check(n, v)) dfs(n + 1, v, cs, used);
    }
    v[n] = Cube();
    used[i] = false;
  }
}

int main() {
  string s;
  while(cin >>s && s != "0"){
    Cube cs[N]; cs[0] = Cube(s);
    FOR(i, 1, N) { cin >>s; cs[i] = Cube(s); }

    ans = false;
    Cube v[N];
    vector<bool> used(N, 0);
    dfs(0, v, cs, used);
    cout <<(ans ? "YES" : "NO") <<endl;
  }
  return 0;
}