//关于sort和二分法查找,就告一段落了,现在就开始对深度优化搜索来进行简单的尝试。
#include <iostream>
#include <cstdio>
#define MAX 5
using namespace std;
int a[MAX] = {1,2,4,7};
int n,k;
bool dfs(int i,int sum){
// 如果前面几项都计算过了,则返回sum的值是否和k相等
if (i == n)return sum == k;
// 不加上a[i]的情况
if (dfs(i + 1,sum))return true;
// 加上a[i]的情况。
if (dfs(i + 1,sum + a[i]))return true;
return false;
}
void solve(){
if (dfs(0,0))cout << "Yes" << endl;
else cout << "No" << endl;
}
int main(){
cin >> k >> n;
solve();
}