#include <bits/stdc++.h>
using namespace std;
void solve() {
double cost;
cin >> cost;
double y1, y2, y3, y4;
cin >> y1 >> y2 >> y3 >> y4;
double n;
cin >> n;
int Y1 = floor(n * y1);
int Y2 = floor(n * y2);
int Y3 = floor(n * y3);
int Y4 = floor(n * y4);
cout << (Y1 * 12 + Y2 * 10 + Y3 * 7 + Y4 * 5 <= cost ? "YES" : "NO") << endl;
}
int main() {
ios_base::sync_with_stdio(false);
cin.tie(0);
int n = 2;
while(n--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKdm9pZCBzb2x2ZSgpIHsKICAgIAogICAgZG91YmxlIGNvc3Q7CiAgICAKICAgIGNpbiA+PiBjb3N0OwogICAgCiAgICBkb3VibGUgeTEsIHkyLCB5MywgeTQ7CiAgICAKICAgIGNpbiA+PiB5MSA+PiB5MiA+PiB5MyA+PiB5NDsKICAgIAogICAgZG91YmxlIG47CiAgICAKICAgIGNpbiA+PiBuOwogICAgCiAgICBpbnQgWTEgPSBmbG9vcihuICogeTEpOwogICAgaW50IFkyID0gZmxvb3IobiAqIHkyKTsKICAgIGludCBZMyA9IGZsb29yKG4gKiB5Myk7CiAgICBpbnQgWTQgPSBmbG9vcihuICogeTQpOwogICAgCiAgICBjb3V0IDw8IChZMSAqIDEyICsgWTIgKiAxMCArIFkzICogNyArIFk0ICogNSA8PSBjb3N0ID8gIllFUyIgOiAiTk8iKSA8PCBlbmRsOwogICAgCn0KCmludCBtYWluKCkgewogICAgCiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKGZhbHNlKTsKICAgIGNpbi50aWUoMCk7CiAgICAKICAgIGludCBuID0gMjsKICAgIAogICAgd2hpbGUobi0tKSB7CiAgICAKICAgICAgICBzb2x2ZSgpOwogICAgICAgIAogICAgfQogICAgCiAgICByZXR1cm4gMDsKfQ==