From e36db42ec7399c621062315f9b71e374198e00dc Mon Sep 17 00:00:00 2001
From: Dimitri Lozeve <dimitri.lozeve@gmail.com>
Date: Wed, 3 Aug 2016 20:29:38 +0100
Subject: [PATCH] Third test

---
 Sat.hs | 4 ++++
 1 file changed, 4 insertions(+)

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]]