import Foundation
//let input_line = readLine()!
//let split: [String] = input_line.components(separatedBy: " ")

var input_lines = [String]()
let row = 3
for i in 0..<row {
    input_lines.append(readLine()!)
}

let a = Int(input_lines[0])!
let b = Int(input_lines[1])!
let c = Int(input_lines[2])!

let array: [Int] = [a, b, c]
var count5 = 0
var count7 = 0
for value in array {
    if value == 5 {
        count5 += 1
    }
    if value == 7 {
        count7 += 1
    }
}

print((count5 == 2 && count7 == 1) ? "YES" : "NO")
