From ad1b6a558b58b4a0543c16d149cbcf1030049e8b Mon Sep 17 00:00:00 2001
From: udlbook <110402648+udlbook@users.noreply.github.com>
Date: Fri, 16 May 2025 15:39:03 -0400
Subject: [PATCH] Created using Colab

---
 Trees/SAT_Construction2_Answers.ipynb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Trees/SAT_Construction2_Answers.ipynb b/Trees/SAT_Construction2_Answers.ipynb
index bc73e2a..bdbe082 100644
--- a/Trees/SAT_Construction2_Answers.ipynb
+++ b/Trees/SAT_Construction2_Answers.ipynb
@@ -4,7 +4,7 @@
   "metadata": {
     "colab": {
       "provenance": [],
-      "authorship_tag": "ABX9TyNVGP04pippHj/aR+N+9Vyv",
+      "authorship_tag": "ABX9TyMTKKBKDWLLdEGY6POpEgt/",
       "include_colab_link": true
     },
     "kernelspec": {
@@ -38,7 +38,7 @@
     {
       "cell_type": "markdown",
       "source": [
-        "# SAT Constructions\n",
+        "# SAT Constructions 2\n",
         "\n",
         "The purpose of this Python notebook is to investigate the SAT construction that tests if a graph is connected.\n",
         "\n",