Problem Statement

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

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

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

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

Input

入力は以下の形式で標準入力から与えられる．

n
k

• $1$ 行目には，閉路グラフの頂点の数を表す整数 $n (3 ≦ n ≦ 10^5)$ が与えられる．
• $2$ 行目には，残したい連結成分の数を表す整数 $k (1 ≦ k ≦ 10^5)$ が与えられる．

Output

1行目に，$n$ 頂点の閉路グラフからいくつかの頂点を取り除いて，ちょうど $k$ 個の連結成分を含むグラフにすることができるならば YES，そうでないならば NO を出力せよ．最後に改行を忘れないこと．