#include<stdio.h>
int main(a, b, c)
{
	scanf("%d %d %d", &a, &b, &c);
	if (a%3==0||b%3==0||c%3==0)puts("Yes");else puts("No");
}