integer x,y
read*,x,y
if(x==1 .or. x==3 .or. x==5 .or. x==7 .or. x==8 .or. x==10) then
	if(y==3 .or. y==5 .or. y==7 .or. y==8 .or. y==10 .or. y==12) then
    	print*, 'Yes'
    else
    	print*, 'No'
    end if
else if(x==4 .or. x==6 .or. x==9) then
	if(y==6 .or. y==9 .or. y==11) then
    	print*, 'Yes'
    else
    	print*, 'No'
    end if
else
	print*, 'No'
end if
end