君はまるで砂漠に咲く、一輪の花。

僕はその花に引き寄せられる蝶。

Codeforces Round #139 (Div. 2)

はい。
http://codeforces.com/contest/225

A. Dice Tower

ざっくりと大意

・1-6の黒点で反対の面の目との和が7の普通のサイコロ
・アリスとボブは縦にサイコロを積んでる??
・上の数がx、2面がa,bを上のサイコロから与えられる?
・矛盾して隣の数で和が7になったり、上の数とその対で和が7になる数が見えるとNOらしい

方針のようなもの

・和が7になってないか、上のサイコロの数字が出てきてないかをチェック

n=int(raw_input())
x=int(raw_input())
for i in range(n):
    a,b=map(int,raw_input().split())
    if a==7-x or b==7-x or a==x or b==x or a+b==7:
        print 'NO'
        exit()
print 'YES'