# frozen_string_literal: true

NUMS = gets.chomp.split.map(&:to_i).sort

puts(if NUMS[0] + 1 == NUMS[1] &&
        NUMS[1] + 1 == NUMS[2] &&
        NUMS[2] + 1 == NUMS[3]
       'Yes'
     else
       'No'
     end)