contests/atcoder/beginner_contests/abc042/src/bin/a.rs

use proconio::input;

fn main() {
    input!{
        mut abc: [u8; 3],
    };
    abc.sort();
    let ans = abc == vec![5, 5, 7];

    println!("{}", if ans {"YES"} else {"NO"});
}