while 1:print'YNeos'[20!=int(raw_input()[::2],11)%122%78!=24::2]