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

int main()
{
    int aa, bb, cc, dd;

    while (scanf (" %d %d %d %d", &aa, &bb, &cc, &dd) != EOF && (aa || bb || cc || dd)) {
        double a, b, c, d;
        double vmin, vmax;

        a = (double) aa;
        b = (double) bb;
        c = (double) cc;
        d = (double) dd;

        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.499999)*9 + (c+0.499999)*4 + (d+0.499999)*4;
        printf("%s\n", (a >= vmin && a <= vmax)?"yes":"no");
    }

}