#include <stdio.h>
int main(void){
	long long X, Y, Z;
	scanf("%lld%lld%lld",&X, &Y, &Z);
	
	if(X % 3 == 0 || Y % 3 == 0 || Z % 3 == 0){
		printf("Yes");
	}else{
		printf("No");
	}
}