fun main(args: Array<String>) {
    val abcd = readLine()!!.split(" ").map { it.toInt() }.sorted()
    println(if((1 until abcd.size).all { abcd[it] == abcd[it-1] + 1 }) "Yes" else "No")
}