#include <stdio.h>
#include <string.h>

int main(void) {
	char buf[100], ch;
	scanf("%99s%c", buf, &ch);
	if (strcmp(buf, "abc") == 0 && ch == ' ') {
		printf("Yes!\n");
	}
	return 0;
}