a=gets.split.map(&:to_i).sort
puts a.map{|x|x-a.min} == [0,1,2,3] ? "Yes" : "No"