gets
ans="No"
ns=gets.split(" ").map{|e| e.to_i}
cs=[0]*200010
ns.each{|e|
cs[e]=1
}
0.upto(200000){|i|
ans="Yes" if cs[i]+cs[i+3]+cs[i+6]==3
}
puts ans
Z2V0cwphbnM9Ik5vIgpucz1nZXRzLnNwbGl0KCIgIikubWFwe3xlfCBlLnRvX2l9CmNzPVswXSoyMDAwMTAKbnMuZWFjaHt8ZXwKCWNzW2VdPTEKfQowLnVwdG8oMjAwMDAwKXt8aXwKCWFucz0iWWVzIiBpZiBjc1tpXStjc1tpKzNdK2NzW2krNl09PTMKfQpwdXRzIGFucw==