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.

Examples

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

2
0
-1
25
25
1
25
4


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

2
0
-1
25
25
1
25
4

Solution (in CPP):

Solution:
#include <stdio.h>
#include <cmath>
#include <algorithm>
#include <cfloat>
#include <stack>
#include <queue>
#include <vector>
#include <string>
#include <iostream>
#include <set>
#include <map>
#include <time.h>
typedef long long int ll;
typedef unsigned long long int ull;
#define BIG_NUM 2000000000
#define MOD 1000000007
#define EPS 0.000000001
using namespace std;


struct Info{
	Info(int arg_row,int arg_col){
		row = arg_row;
		col = arg_col;
	}
	int row,col;
};


int H,W;
int dp[52][52][52][52];
int diff_row[2] = {0,1},diff_col[2] = {1,0};
char table[51][52];
bool can_visit[52][52][52][52];


bool rangeCheck(int row,int col){
	if(row >= 1 && row <= H && col >= 1 && col <= W)return true;
	else{
		return false;
	}
}

int recursive(int row1,int col1,int row2,int col2){

	if(dp[row1][col1][row2][col2] != -1)return dp[row1][col1][row2][col2];

	if(row1 == row2 && row1 == H && col1 == col2 && col1 == W)return 0;

	int ret = 0;

	if(table[row1][col1] == '.' || (table[row1][col1] >= 'A' && table[row1][col1] <= 'Z')){

		if(can_visit[row1][col1][row1][col1+1] == true)ret = max(ret,recursive(row1,col1+1,row2,col2));

		if(can_visit[row1][col1][row1+1][col1] == true)ret = max(ret,recursive(row1+1,col1,row2,col2));

	}else if(table[row1][col1] >= 'a' && table[row1][col1] <= 'z'){

		if(can_visit[row1][col1][row1][col1+1] == true)ret = max(ret,recursive(row1,col1+1,row2,col2));

		if(can_visit[row1][col1][row1+1][col1] == true)ret = max(ret,recursive(row1+1,col1,row2,col2));

		for(int tmp_row = row1; tmp_row <= row2; tmp_row++){
			for(int tmp_col = col1; tmp_col <= col2; tmp_col++){
				if(table[tmp_row][tmp_col]+32 == table[row1][col1] && can_visit[row1][col1][tmp_row][tmp_col] == true &&
						can_visit[tmp_row][tmp_col][row2][col2] == true){

					if((tmp_row == row1 && tmp_col == col1+1) || (tmp_row == row1+1 && tmp_col == col1)){

						ret = max(ret,recursive(tmp_row,tmp_col,row2,col2)+1);

					}else{

						if(can_visit[row1][col1][row1][col1+1] == true){

							if(can_visit[row1][col1+1][tmp_row-1][tmp_col] == true){
								ret = max(ret,recursive(row1,col1+1,tmp_row-1,tmp_col)+recursive(tmp_row,tmp_col,row2,col2)+1);
							}

							if(can_visit[row1][col1+1][tmp_row][tmp_col-1] == true){
								ret = max(ret,recursive(row1,col1+1,tmp_row,tmp_col-1)+recursive(tmp_row,tmp_col,row2,col2)+1);
							}
						}

						if(can_visit[row1][col1][row1+1][col1] == true){

							if(can_visit[row1+1][col1][tmp_row-1][tmp_col] == true){
								ret = max(ret,recursive(row1+1,col1,tmp_row-1,tmp_col)+recursive(tmp_row,tmp_col,row2,col2)+1);
							}

							if(can_visit[row1+1][col1][tmp_row][tmp_col-1] == true){
								ret = max(ret,recursive(row1+1,col1,tmp_row,tmp_col-1)+recursive(tmp_row,tmp_col,row2,col2)+1);
							}
						}
					}
				}
			}
		}
	}

	return dp[row1][col1][row2][col2] = ret;
}

void func(){

	for(int row = 1; row <= H; row++){
		scanf("%s",table[row]);
		for(int col = W; col >= 1; col--){
			table[row][col] = table[row][col-1];
		}
	}


	for(int a = 0; a <= H+1; a++){
		for(int b = 0; b <= W+1; b++){
			for(int c = 0; c <= H+1; c++){
				for(int d = 0; d <= W+1; d++){
					dp[a][b][c][d] = -1;
					can_visit[a][b][c][d] = false;
				}
			}
		}
	}

	queue<Info> Q;

	int adj_row,adj_col;

	for(int start_row = 1; start_row <= H; start_row++){
		for(int start_col = 1; start_col <= W; start_col++){
			if(table[start_row][start_col] == '#')continue;

			can_visit[start_row][start_col][start_row][start_col] = true;
			Q.push(Info(start_row,start_col));

			while(!Q.empty()){

				for(int i = 0; i < 2; i++){
					adj_row = Q.front().row+diff_row[i];
					adj_col = Q.front().col+diff_col[i];

					if(rangeCheck(adj_row,adj_col) == false || table[adj_row][adj_col] == '#' || can_visit[start_row][start_col][adj_row][adj_col] == true)continue;

					can_visit[start_row][start_col][adj_row][adj_col] = true;
					Q.push(Info(adj_row,adj_col));
				}
				Q.pop();
			}
		}
	}

	if(can_visit[1][1][H][W] == false){
		printf("-1\n");
		return;
	}

	printf("%d\n",recursive(1,1,H,W));
}

int main(){

	while(true){
		scanf("%d %d",&H,&W);
		if(H == 0 && W == 0)break;

		func();
	}

	return 0;
}