a=(`tr ' ' '\n' | sort -n`)
((a[1]-a[0]==1&&a[2]-a[1]==1&&a[3]-a[2]==1)) && echo Yes || echo No