#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int main() {
ios::sync_with_stdio(0);
cin.tie(0);
int n, m; cin >> n >> m;
vector<int> a(n), b(m);
int pwm = (1 << m);
for (int i = 0; i < n; i++) cin >> a[i];
for (int i = 0; i < m; i++) cin >> b[i];
sort(b.begin(), b.end());
vector<bool> sum(pwm, 0);
for (int i = 1; i < pwm; i++) {
int cur = 0;
for (int j = 0; (1 << j) <= i; j++) {
int pw = (1 << j);
if (i & pw) cur += b[j];
}
sum[i] = cur;
}
bool ans = true;
vector<bool> vis(pwm, 0);
queue<int> que;
que.push(0);
for (int i = 0; i < n; i++) {
auto q = que; que = {};
while (!q.empty()) {
auto cur = q.front(); q.pop();
for (int j = 1; j < pwm; j++) {
int next = j | cur;
if (!(sum[j] & cur) and !vis[next]) {
que.push(next);
vis[next] = true;
}
}
}
if (que.empty()) {
ans = false;
break;
}
}
cout << (ans ? "YES" : "NO") << '\n';
}
