diff --git a/Sat.hs b/Sat.hs
index 49ad203..44c4854 100644
--- a/Sat.hs
+++ b/Sat.hs
@@ -214,3 +214,7 @@ test1 = [[Neg 1, Pos 2], [Pos 3, Neg 2], [Pos 4, Neg 5], [Pos 5, Neg 4]]
 
 test2 :: CNF
 test2 = [[Pos 1], [Neg 1, Pos 4], [Neg 1, Pos 4]]
+
+test3 :: CNF
+test3 = [[Neg 1, Pos 2], [Neg 1, Pos 3], [Neg 2, Pos 4],
+         [Neg 3, Neg 4], [Pos 1, Neg 3, Pos 5]]