def accum_dp(xs: list, f, op, e, init: dict): dp = init.copy() for x in xs: pp = {} dp, pp = pp, dp for fm_key, fm_val in pp.items(): for to_key, to_val in f(fm_key, fm_val, x): dp[to_key] = op(dp.get(to_key, e), to_val) return dp def f(k, v, x): # k : 作った数 if k == N: yield k, v if k == x: if k+3 <= N and v+1 <= K: yield k+3, v+1 if k*2 <= N and v+1 <= K: yield k*2, v+1 elif k > x: yield k, v INF = 1 << 62 N, K = map(int, input().split()) init = {1: 0} dp = accum_dp(range(1, N+1), f, min, INF, init) ans = dp.get(N, INF) if ans <= K: print('YES') else: print('NO')