深度优化搜索 ---判断是否可以从给定整数中选出若干数，使它们的和恰好为k

//关于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();
}