From aae32840c490fd33a8ee3c3b61af3c17865014bc Mon Sep 17 00:00:00 2001
From: Baoshuo <i@baoshuo.ren>
Date: Sat, 8 Jul 2023 20:03:34 +0800
Subject: [PATCH] A - Nine

https://atcoder.jp/contests/abc309/submissions/43340100
---
 AtCoder/ABC309/A/A.cpp | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 AtCoder/ABC309/A/A.cpp

diff --git a/AtCoder/ABC309/A/A.cpp b/AtCoder/ABC309/A/A.cpp
new file mode 100644
index 00000000..bea11e14
--- /dev/null
+++ b/AtCoder/ABC309/A/A.cpp
@@ -0,0 +1,18 @@
+#include <iostream>
+
+using std::cin;
+using std::cout;
+const char endl = '\n';
+
+int main() {
+    std::ios::sync_with_stdio(false);
+    cin.tie(nullptr);
+
+    int a, b;
+
+    cin >> a >> b;
+
+    cout << (b - a == 1 && a != 3 && a != 6 && a != 9 && b != 1 && b != 4 && b != 7 ? "Yes" : "No") << endl;
+
+    return 0;
+}