From 9ed085ede5963c86542d47f5e743126c14a3b1c0 Mon Sep 17 00:00:00 2001
From: NotXia <35894453+NotXia@users.noreply.github.com>
Date: Mon, 3 Jun 2024 22:42:04 +0200
Subject: [PATCH] Fix indentation <noupdate>

---
 .../module1/sections/_sat.tex                                    | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/year1/combinatorial-decision-making-and-optimization/module1/sections/_sat.tex b/src/year1/combinatorial-decision-making-and-optimization/module1/sections/_sat.tex
index 08a16f0..e01e751 100644
--- a/src/year1/combinatorial-decision-making-and-optimization/module1/sections/_sat.tex
+++ b/src/year1/combinatorial-decision-making-and-optimization/module1/sections/_sat.tex
@@ -281,6 +281,7 @@ DPLL with two improvements:
     \begin{remark}
         Any cut that separates sources (decision literals) and the sink (contradiction node) is a valid conflict clause for backjumping.
 
+        \indenttbox
         \begin{example} \phantom{}
             \begin{center}
                 \includegraphics[width=0.55\linewidth]{./img/_cdcl_cut.pdf}