5000: 2024年（进阶组）扫雷（T2）

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

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

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

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

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

YES
NO
NO