  // A - 和風いろはちゃんイージー / Iroha and Haiku (ABC Edition) https://atcoder.jp/contests/abc042/tasks/abc042_a

  import io.Source

  object Main extends App {
    Source.stdin.getLines().foreach { line =>
      val Array(w1, w2, w3) = line.split(' ').map(_.toInt)
      println(solve(w1, w2, w3))
    }

    def solve(w1: Int, w2: Int, w3: Int): String = {
      if (w1 == 5 && w2 == 5 && w3 == 7 ||
        w1 == 5 && w2 == 7 && w3 == 5 ||
        w1 == 7 && w2 == 5 && w3 == 5)
        "YES"
      else
        "NO"
    }
  }
