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。