Problem:
H: Rectangular Stamps

ICPC で良い成績を収めるには修行が欠かせない．うさぎは ICPC で勝ちたいので，今日も修行をすることにした．

今日の修行は，絵を描くことによって，創造力を高めようというものである．四角いスタンプを用いて，上手く模様を描こう．

大小さまざまなスタンプを使い，4 × 4 のマス目の紙に指定された赤・緑・青の通りの絵を完成させたい．スタンプは長方形であり，マス目にぴったり合わせて使う．スタンプの縦と横を入れ替えることはできない．

紙は最初色が塗られていない状態にある．紙にスタンプを押すと，押された部分がスタンプの色に変わり，下に隠れた色は全く見えなくなる．スタンプの色は付けるインクにより決定されるので，どのスタンプでも，好きな色を選ぶことが可能である．スタンプは紙から一部がはみ出た状態で押すことも可能であり，はみ出た部分は無視される．

1 つのスタンプを複数回使うことは可能である．同じスタンプを別の色に対して使ってもよい．スタンプを押すのはやや神経を使う作業なので，出来るだけスタンプを押す回数を少なくしたい．

Input

N
H1 W1
...
HN WN
C1,1C1,2C1,3C1,4
C2,1C2,2C2,3C2,4
C3,1C3,2C3,3C3,4
C4,1C4,2C4,3C4,4

N はスタンプの個数，Hi, Wi (1 ≤ i ≤ N) はそれぞれ，i 番目のスタンプの縦の長さ，横の長さを表す整数である．Ci, j (1 ≤ i ≤ 4，1 ≤ j ≤ 4) は，上から i 行目，左から j 列目のマスについて指定された絵の色を表す文字である．赤は R ，緑は G ，青は B で表される．

1 ≤ N ≤ 16，1 ≤ Hi ≤ 4，1 ≤ Wi ≤ 4 を満たす．(Hi, Wi) として同一の組は複数回現れない．

Output

絵を完成させるためにスタンプを押さなければならない最小の回数を 1 行に出力せよ．

Sample Input 1

2
4 4
1 1
RRRR
RRGR
RBRR
RRRR

Sample Output 1

3

Sample Input 2

1
2 3
RRGG
BRGG
BRRR
BRRR

Sample Output 2

5

Solution in C++14 (judge verdict: Wrong Answer)

#include <bits/stdc++.h>
#define FOR(i,k,n) for(int i=(k);i<(int)(n);++i)
#define REP(i,n) FOR(i,0,n)
#define ALL(x) begin(x),end(x)

using namespace std;
constexpr int INF = 1000000001;

char color[] = "RGB";

int main() {
  int n;
  cin>>n;
  vector<pair<int,int>> s;
  REP(i,n) {
    int h,w;
    cin>>h>>w;
    s.emplace_back(h,w);
  }
  string t;
  REP(i,4) {
    string s;
    cin>>s;
    t += s;
  }
  vector<int> dp(1<<16, INF);
  dp[0] = 0;
  REP(i,1<<16) {
    REP(j,n) {
      int h,w;
      tie(h,w) = s[j];
      FOR(y,-h+1,3)FOR(x,-w+1,3) {
        int bits = 0;
        REP(k,h)REP(l,w) {
          int py = y + k;
          int px = x + l;
          if (px < 0 || px >=4 || py < 0 || py >= 4) continue;
          int index = px + 4*py;
          if ((i >> index) & 1) continue;
          bits |= 1 << index;
        }
        REP(k,3) {
          bool ok = true;
          REP(l,16) {
            if ((bits >> l) & 1) {
              if (t[l] != color[k]) {
                ok = false;
                break;
              }
            }
          }
          if (ok) {
            dp[i|bits] = min(dp[i|bits], dp[i] + 1);
          }
        }
      }
    }
  }
  cout << dp[(1<<16)-1] << endl;
  return 0;
}