import scala.io.Source.stdin

object Main extends App {
  stdin.getLines.foreach { s =>
    val n = s.split(" ").map(_.toInt)
    val sum = n(0)+n(1)
    if(sum <= 10) println("YES")
    else if((1 to 10).filter( i => i!=n(0) && i!=n(1) && i!=n(2) ).count( _ <= 20-sum ) >= 4)
      println("YES")
    else
      println("NO")
  }
}