1 files changed, 6 insertions, 0 deletions

diff --git a/unit-tests/sat2.cnf b/unit-tests/sat2.cnf
new file mode 100644
index 0000000..fa572f4
--- /dev/null
+++ b/unit-tests/sat2.cnf
@@ -0,0 +1,6 @@
+p cnf 3 5
+1       2       0
+1       3       0
+2       0
+2       3       0
+-2      0