### 问题描述 2-SAT 模板题。 有 $n$ 个布尔变量 $x_1,x_2,\dots,x_n$，另有 $m$ 个需要满足的条件，每个条件的形式都是 「$x_i$ 为 `true` / `false` 或 $x_j$ 为 `true` / `false`」。比如 「$x_1$ 为真或 $x_3$ 为假」、「$x_7$ 为假或 $x_2$ 为假」。 判断是否能给每个变量赋值使得所有条件得到满足。 ### 输入格式 第一行，两个整数 $n$ 和 $m$，表示变量和条件的数量。 以下 $m$ 行，每行 $4$ 个整数 $i$, $a$, $j$, $b$，表示 「$x_i$ 为 $a$ 或 $x_j$ 为 $b$」($a, b\in \{0,1\}$)。 ### 输出格式 如无解，输出 `IMPOSSIBLE`；否则输出 `POSSIBLE`。 ### 样例输入 ```text 3 1 1 1 3 0 ``` ### 样例输出 ```text POSSIBLE ``` ### 评测数据规模 $1\leq n, m\leq 2\times 10^5$。