{ll@a,@b;wt(a+b-6&a-b?"No":"Yes");}