問題文


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

個の変数と 個の節からなる連言標準形の論理式が与えられます。 連言標準形とは、 のように、リテラルの論理和である節の論理積となっている式を指します。

番目の節は 個のリテラルからなり、 番目のリテラル は正のとき 番目の変項を、負のとき 番目の変項の否定を表します。

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

制約


  • 入力はすべて整数

入力


出力


Yes または No を出力せよ。

入出力例


入力例1
4 3
3
1 2 3
3
-1 2 3
3
2 -3 4
出力例1
Yes

は充足可能です。

Submit


Go (1.14)