ll@a,@b,@c;sortE(a,b,c);wt(a*b%6*c%6|b<2?"No":"Yes");