問題文

magurofly君は課題で3-SATを解くことになりました。 しかし、手作業で解くのが嫌になって寝てしまいました。 このままでは単位がピンチなので、代わりに解いてあげてください。

$V$ 個の変数と $C$ 個の節からなる連言標準形の論理式が与えられます。 連言標準形とは、 $(x \vee y \vee \neg z) \wedge (w \vee \neg v \vee u) \wedge \cdots$ のように、リテラルの論理和である節の論理積となっている式を指します。

$i$ 番目の節は $N_i$ 個のリテラルからなり、 $j$ 番目のリテラル $T_{ij}$ は正のとき $T_{ij}$ 番目の変項を、負のとき $-T_{ij}$ 番目の変項の否定を表します。

この論理式が充足可能なら Yes を、充足不可能なら No を出力してください。

制約

• $1 \le V, C \le 30$
• $1 \le N_i \le 3$
• $1 \le |T_{ij}| \le V$
• 入力はすべて整数

入力

出力

Yes または No を出力せよ。

入出力例

4 3
3
1 2 3
3
-1 2 3
3
2 -3 4

Yes

$(1 \vee 2 \vee 3) \wedge (\neg 1 \vee 2 \vee 3) \wedge (2 \vee \neg 3 \vee 4)$ は充足可能です。