#include <iostream>
using namespace std;
int main() {
int matrix[3][3] = {
{1, 2, 3},
{4, 5, 6},
{7, 8, 9}
};
int val1, val2;
cin >> val1 >> val2;
int row1=1000, row2=1000;
for(int i=0; i<3; i++){
for(int j=0; j<3; j++){
if(matrix[i][j] == val1)
row1 = i;
if(matrix[i][j] == val2)
row2 = i;
}
}
if(row1 == row2)
cout << "YES";
else
cout << "NO";
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKSB7CglpbnQgbWF0cml4WzNdWzNdID0gewoJCXsxLCAyLCAzfSwKCQl7NCwgNSwgNn0sCgkJezcsIDgsIDl9Cgl9OwoJaW50IHZhbDEsIHZhbDI7CgljaW4gPj4gdmFsMSA+PiB2YWwyOwoJCglpbnQgcm93MT0xMDAwLCByb3cyPTEwMDA7CgkKCWZvcihpbnQgaT0wOyBpPDM7IGkrKyl7CgkJZm9yKGludCBqPTA7IGo8MzsgaisrKXsKCQkJaWYobWF0cml4W2ldW2pdID09IHZhbDEpCgkJCQlyb3cxID0gaTsKCQkJaWYobWF0cml4W2ldW2pdID09IHZhbDIpCgkJCQlyb3cyID0gaTsKCQl9Cgl9CglpZihyb3cxID09IHJvdzIpCgkJY291dCA8PCAiWUVTIjsKCWVsc2UKCQljb3V0IDw8ICJOTyI7CgkKCXJldHVybiAwOwp9