diff --git a/tests/sat/test-014.cnf b/tests/sat/test-014.cnf
new file mode 100644
index 00000000..dd0758ee
--- /dev/null
+++ b/tests/sat/test-014.cnf
@@ -0,0 +1,9 @@
+c Doublons test
+p cnf 2 3
+
+c dummy clause that might cause a bug
+-1 1 0
+
+c Clearly SAT clauses
+2 0
+-1 -2 0