import algorithm, sequtils, strutils
var ns = stdin.readLine.split.map parseInt
sort ns
echo ["No", "Yes"][int zip(ns, (ns[0] .. ns[0].succ 3).toSeq).allIt it[0] == it[1]]