#include using namespace std; int main(){ int n; cin>>n; vector> p(3),q(3); p[0]=make_pair(2,8); p[1]=make_pair(3,9); p[2]=make_pair(7,9); q[0]=make_pair(5,8); q[1]=make_pair(4,8); q[2]=make_pair(6,8); for(int i=0;i>a>>b>>c>>d; for(int j=0;j<3;++j){ if(p[j].first==a&&p[j].second==b){ p[j].first=c; p[j].second=d; } } } puts(p==q?"YES":"NO"); }