Problem:
Problem Statement

There is a maze which can be described as a W \times H grid.
The upper-left cell is denoted as (1, 1), and the lower-right cell is (W, H).
You are now at the cell (1, 1) and have to go to the cell (W, H).
However, you can only move to the right adjacent cell or to the lower adjacent cell.
The following figure is an example of a maze.

...#......
a###.#####
.bc...A...
##.#C#d#.#
.#B#.#.###
.#...#e.D.
.#A..###.#
..e.c#..E.
####d###.#
#....#.#.#
##E...d.C.

In the maze, some cells are free (denoted by .) and some cells are occupied by rocks (denoted by #), where you cannot enter.
Also there are jewels (denoted by lowercase alphabets) in some of the free cells and holes to place jewels (denoted by uppercase alphabets).
Different alphabets correspond to different types of jewels, i.e. a cell denoted by a contains a jewel of type A, and a cell denoted by A contains a hole to place a jewel of type A.
It is said that, when we place a jewel to a corresponding hole, something happy will happen.

At the cells with jewels, you can choose whether you pick a jewel or not.
Similarly, at the cells with holes, you can choose whether you place a jewel you have or not.
Initially you do not have any jewels.
You have a very big bag, so you can bring arbitrarily many jewels.
However, your bag is a stack, that is, you can only place the jewel that you picked up last.

On the way from cell (1, 1) to cell (W, H), how many jewels can you place to correct holes?

Input

The input contains a sequence of datasets.
The end of the input is indicated by a line containing two zeroes.
Each dataset is formatted as follows.

H W
C_{11} C_{12} ... C_{1W}
C_{21} C_{22} ... C_{2W}
...
C_{H1} C_{H2} ... C_{HW}

Here, H and W are the height and width of the grid.
You may assume 1 \leq W, H \leq 50.
The rest of the datasets consists of H lines, each of which is composed of W letters.
Each letter C_{ij} specifies the type of the cell (i, j) as described before.
It is guaranteed that C_{11} and C_{WH} are never #.

You may also assume that each lowercase or uppercase alphabet appear at most 10 times in each dataset.

Output

For each dataset, output the maximum number of jewels that you can place to corresponding holes.
If you cannot reach the cell (W, H), output -1.

Sample Input

3 3
ac#
b#C
.BA
3 3
aaZ
a#Z
aZZ
3 3
..#
.#.
#..
1 50
abcdefghijklmnopqrstuvwxyYXWVUTSRQPONMLKJIHGFEDCBA
1 50
aAbBcCdDeEfFgGhHiIjJkKlLmMnNoOpPqQrRsStTuUvVwWxXyY
1 50
abcdefghijklmnopqrstuvwxyABCDEFGHIJKLMNOPQRSTUVWXY
1 50
aaaaaaaaaabbbbbbbbbbcccccCCCCCBBBBBBBBBBAAAAAAAAAA
10 10
...#......
a###.#####
.bc...A...
##.#C#d#.#
.#B#.#.###
.#...#e.D.
.#A..###.#
..e.c#..E.
####d###.#
##E...D.C.
0 0

Output for the Sample Input

2
0
-1
25
25
1
25
4

Solution in C (judge verdict: Accepted)

// AOJ 2538 Stack Maze
// 2018.2.2 bal4u

#include <stdio.h>
#include <string.h>
#include <ctype.h>

char map[53][53];
char mk[53][53][53][53];
int memo[53][53][53][53];
char a[53][53][11][2], hi[53][53];

//#define getchar_unlocked()  getchar()
int in()
{
	int n = 0;
	int c = getchar_unlocked();
	do n = (n<<3)+(n<<1) + (c & 0xf), c = getchar_unlocked();
	while (c >= '0');
	return n;
}

int calc(int lr, int lc, int rr, int rc)
{
	int i, r, c, t, ans;

	if ((ans = memo[lr][lc][rr][rc]) >= 0) return ans;
	if (lc > rc || lr > rr) { ans = 0; goto done; }
	if (map[lr][lc] == '#' || map[rr][rc] == '#' ||
		!mk[lr][lc][rr][rc]) { ans = -1; goto done; }

	ans = 0;
	for (i = 0; i < hi[lr][lc]; i++) {
		r = a[lr][lc][i][0], c = a[lr][lc][i][1];
		if (r < lr || r > rr || c < lc || c > rc) continue;
		t = calc(lr+1, lc, r-1, c) + 1 + calc(r, c, rr, rc); if (t > ans) ans = t;
		t = calc(lr, lc+1, r-1, c) + 1 + calc(r, c, rr, rc); if (t > ans) ans = t;
		t = calc(lr+1, lc, r, c-1) + 1 + calc(r, c, rr, rc); if (t > ans) ans = t;
		t = calc(lr, lc+1, r, c-1) + 1 + calc(r, c, rr, rc); if (t > ans) ans = t;
	}
	t = calc(lr+1, lc, rr, rc); if (t > ans) ans = t;
	t = calc(lr, lc+1, rr, rc); if (t > ans) ans = t;
done:
	return memo[lr][lc][rr][rc] = ans;;
}

int main()
{
	int H, W, r, c, u, v, k;

	while (H = in()) {
		W = in();
		memset(mk, 0, sizeof(mk));
		memset(hi, 0, sizeof(hi));
		memset(memo, -1, sizeof(memo));

		for (r = 1; r <= H; r++) {
			fgets(map[r]+1, 53, stdin);
			for (c = 1; c <= W; c++) if (map[r][c] != '#') {
				mk[r][c][r][c] = 1;
				for (u =1 ; u <= r; u++) for (v = 1; v <= c; v++) {
					if (mk[u][v][r-1][c] || mk[u][v][r][c-1]) {
						mk[u][v][r][c] = 1;
						if (isupper(map[r][c]) && islower(map[u][v]) &&
							(map[r][c] & 0x1f) == (map[u][v] & 0x1f)) {
							k = hi[u][v]++;
							a[u][v][k][0] = r, a[u][v][k][1] = c;
						}
					}
				}
			}
		}

		printf("%d\n", calc(1, 1, H, W));
	}
	return 0;
}