a,b,c = map(int,input().split()) print(("Yes" if max({a,b,c}) == 3 else "No") if (a*b*c) % 6 == 0 else "No")