let is_over_50 c1 c2 c3 =
  let l1 = [1;2;3;4;5;6;7;8;9;10] in
  let l2 = List.filter (fun x -> x <> c1 && x <> c2 && x <> c3 && c1 + c2 + x <= 20) l1 in
  List.length l2 >= 4

let _ =
  try
    while true do
      let c1, c2, c3 = Scanf.scanf "%d %d %d\n" (fun x y z -> (x, y, z)) in
      Printf.printf "%s\n" (if is_over_50 c1 c2 c3 then "YES" else "NO")
    done
  with
    End_of_file -> ()