#include <stdio.h>
#include <algorithm>

int main()
{
    int a, b, c, d;

    while (scanf (" %d %d %d %d", &a, &b, &c, &d) && (a || b || c || d)) {
        double vmin, vmax;

        vmin = std::max((b-0.5), 0.0)*9 +
               std::max((c-0.5), 0.0)*4 +
               std::max((d-0.5), 0.0)*4;
        vmax = (b+0.4)*9 + (c+0.4)*4 + (d+0.4)*4;
        printf("%s\n", (a >= vmin && a <= vmax)?"yes":"no");
    }

}