#34550: 真-Python一行解


712045@st.lths.tc.edu.tw (程式餓靈)


print('Yes' if(input().split()==['6','12']) else 'No')