#include <stdio.h>
#include <stdlib.h>
int main(int argc, char** argv){
    int a = atoi(argv[1]);
    int b = atoi(argv[2]);
    int c = atoi(argv[3]);
    printf("%d %d %d\n",a,b,c);
    if((a*b*c)%3==0){
        printf("YES\n");
    }
    else{printf("NO\n");}
    return 0;
}