扫雷(minesweeper)

【题目描述】

小林最近迷上了扫雷游戏，具体的，一个扫雷游戏模盘可以被抽象成一个n行m列的包含 $0-8$ 的数字、字符“*”和字符“?”的二维矩阵，字符“*”表示当前位置有一个地雷，字符“?”表示还不确定当前位置是否有地雷，数字表示与该位置有交点的八个位置中有多少地雷，若数字与周围的地雷数量不符，即视为该棋盘不合法。现在给出二维矩阵用以表示一场扫雷游戏棋盘，你可以选择字符“?”所在的格子是否有地雷，请问是否存在一种方案使得二维短阵合法?

【输入格式】

第一行包含一个正整数T，表示共有T组数据。

对于每组数据，第一行两个正整数 $n,m$ ，表示棋盘大小。

接下来n行，每行输入一个长度为 $m$ 的仅包含 $0-8$ 的数字、字符“*”和字符“?”的字符串，用以表示扫雷游戏的棋盘。

【输出格式】

输出T行,每行对应一组数据,如果存在一种方案使得棋盘合法,则输出 YES,否则输出 NO。

【样例输入1】

3
2 2
**
2?
2 2
*1
3?
2 2
**
21

【样例输出1】

YES
NO
NO

【输入样例 2】

配套文件参看minesweeper2.in

【输出样例 2】

配套文件参看minesweeper2.ans

【数据范围与约定】

对于20%的数据，仅有一个位置的字符为“?"

对于 100%的数据，$1≤T,n，≤10$ 保证字符“?”的数量 $\le 10$ 。