問題文

下図のような $n(n≧3)$ 頂点から成る閉路グラフがあります．

このグラフは，頂点 $1$ と頂点 $2$を結ぶ辺，頂点 $2$ と頂点 $3$，...，頂点 $n-1$ と頂点 $n$，そして頂点 $n$ と頂点 $1$ を結ぶ辺から構成されています．

あなたは，このグラフからいくつかの頂点を取り除く(*)ことでグラフを分断し最終的に $k$ 個の連結成分のみが残ったグラフにしたいと思っています． 実際に頂点を取り除き始める前に，そのような取り除き方が本当に存在するかどうかを判定してください．

(*) ある頂点を取り除くと，その頂点に直接繋がっている辺も取り除かれます．また，必要がなければ $1$ つも頂点を取り除かなくても構いません．

入力例1Copy

6
2

出力例1Copy

YES

例えば，下図のように，頂点 $1$ と頂点 $3$ を取り除くことで，ちょうど $2$ つの連結成分を残すことができます．

入力例2Copy

3
2

出力例2Copy

NO

入力のグラフは下図の通りです．どのように頂点を取り除いても $2$ つの連結成分のみを残すことは出来ません．

入力例3Copy

11
6

出力例3Copy

NO

入力例4Copy

11
5

出力例4Copy

YES