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

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        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;
}
