def main(): from sys import stdin readline=stdin.readline x,y,z = map(int, readline().split()) if x%3==0 or y%3==0 or z%3==0: print('Yes') else: print('No') main()