AT_utpc2013_05 2-SAT

给你一个类似于 2-Sat 模型的逻辑表达式，并且给定当中变量的值。 问：你至少要修改多少次才能使该表达式的值为真？如果结果大于或等于 $11$ 或者没有解，输出 `TOO LARGE`。

第一行两个正整数 $n, m$，表示变量个数，以及逻辑表达式括号的个数。 第二行一个字符串，表示该逻辑表达式。逻辑表达式遵循以下格式： - 形如 `(...)^(...)^(...)^...^(...)`，一共 $m$ 个括号，表示这几个括号的值逻辑与起来的结果； - 每个括号内都形如 `xvy`，$x$ 和 $y$ 都是一个正整数，表示第 $x$ 个和第 $y$ 个变量的值相逻辑或。有可能在 $x$ 或 $y$ 前加上字符 `~` 表示取反。 第三行一个长度为 $n$ 的字符串，仅包含 `TF` 两种字符。第 $i$ 位为 `T` 表示变量 $i$ 为真，反之为假。

若答案小于 $11$，输出答案。否则输出 `TOO LARGE`。