#include <stdio.h>

int main(void) {

    int x, y, z;
	scanf("%d%d%d", &x, &y, &z);
	if(x % 3 == 0 || y % 3 == 0 || z % 3 == 0){
		printf("Yes\n");
	}
	else{
		printf("No\n");
	}

	return 0;
}