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