## 提示
**【样例解释 #1】**
第一组测试数据中，$m$ 行语句依次为
- $x_2 \leftarrow \lnot x_1$；
- $x_3 \leftarrow \lnot x_2$；
- $x_1 \leftarrow x_3$。
一组合法的赋初值方案为 $x_1 = \mathit{T}, x_2 = \mathit{F}, x_3 = \mathit{T}$，共有 $0$ 个$\mathit{Unknown}$ 变量。因为不存在赋初值方案中有小于 $0$ 个$\mathit{Unknown}$ 变量，故输出为 $0$。
第二组测试数据中，$m$ 行语句依次为
- $x_2 \leftarrow \lnot x_1$；
- $x_3 \leftarrow \lnot x_2$；
- $x_1 \leftarrow \lnot x_3$。
唯一的赋初值方案为 $x_1 = x_2 = x_3 = \mathit{U}$，共有 $3$ 个$\mathit{Unknown}$ 变量，故输出为 $3$。
第三组测试数据中，$m$ 行语句依次为
- $x_2 \leftarrow \mathit{T}$；
- $x_2 \leftarrow \mathit{U}$；
一个最小化 $\mathit{Unknown}$ 变量个数的赋初值方案为 $x_1 = \mathit{T}, x_2 = \mathit{U}$。$x_1 = x_2 = \mathit{U}$ 也是一个合法的方案，但它没有最小化 $\mathit{Unknown}$ 变量的个数。
**【样例解释 #2】**
该组样例满足测试点 $2$ 的条件。
**【样例解释 #3】**
该组样例满足测试点 $5$ 的条件。
**【样例解释 #4】**
该组样例满足测试点 $8$ 的条件。
**【数据范围】**
对于所有测试数据，保证：
- $1 \le t \le 6$，$1 \le n,m \le 10 ^ 5$；
- 对于每个操作，$v$ 为 `TFU+-` 中的某个字符，$1 \le i,j \le n$。
| 测试点编号 | $n,m\leq$ | $v$ 可能的取值 |
| :----------: | :----------: | :----------: |
| $1,2$ | $10$ | $\mathit{TFU+-}$ |
| $3$ | $10^3$ | $\mathit{TFU}$ |
| $5$ | $10^3$ | $\mathit{U+}$ |
| $7$ | $10^3$ | $\mathit{+-}$ |
| $9$ | $10^3$ | $\mathit{TFU+-}$ |

NOIP NOIP2023