#import <Foundation/Foundation.h>
#include <stdio.h>

int main(int argc, const char * argv[]) {
    int a,b,c;
    scanf("%d %d %d",&c,&a,&b);
    if (a+b+c==17){
        printf("Yes\n");
    }
    else{
        printf("No\n");
    }
    return 0;
}
