            let data = readLine()!
            let values = data.characters.split{ x in x == " "}.map{Int(String($0))!}.sort()
            if values[0] == 5 && values[1] == 5 && values[2] == 7 {
                print("YES")
            } else {
                print("NO")
            }
