サイコロの目の出る方法は全部で \(6^3 = 216\) 通りあるので、3重にfor文を回すことで全て列挙することができます。

そのうち、出た目の合計が \(X\) になるものがあればよいです。

#include<bits/stdc++.h>
using namespace std;

int main() {
	int x; cin >> x;

	bool ans = false;
	for (int i=1; i<=6; i++) {
		for (int j=1; j<=6; j++) {
			for (int k=1; k<=6; k++) {
				// 出た目の合計が x かどうか
				if (i+j+k == x) {
					ans = true;
				}
			}
		}
	}

	if (ans) {
		cout << "Yes" << endl;
	} else {
		cout << "No" << endl;
	}
}

x = int(input())

ans = False
for i in range(1, 7):
	for j in range(1, 7):
		for k in range(1, 7):
			if i + j + k == x:
				ans = True

if ans:
	print("Yes")
else:
	print("No")