#include <stdio.h>
int main() {
    int s,s1,s2,s3;
    scanf("%d%d%d%d",&s,&s1,&s2,&s3);
    s<425&&(s1<60||s2<60||s3<60)?printf("YES\n"):printf("NO\n");
    return 0;
}