diff --git a/input_files/f4sat-zero-input.ms b/input_files/f4sat-zero-input.ms
new file mode 100644
index 00000000..b71935ae
--- /dev/null
+++ b/input_files/f4sat-zero-input.ms
@@ -0,0 +1,4 @@
+x, y
+1073741831
+2*x+3*y,
+0
diff --git a/output_files/f4sat-zero-input.res b/output_files/f4sat-zero-input.res
new file mode 100644
index 00000000..e69de29b
diff --git a/test/diff/diff_f4sat-zero-input.sh b/test/diff/diff_f4sat-zero-input.sh
new file mode 100755
index 00000000..28d3111f
--- /dev/null
+++ b/test/diff/diff_f4sat-zero-input.sh
@@ -0,0 +1,18 @@
+#!/bin/bash
+
+file=f4sat-zero-input
+
+$(pwd)/msolve -f input_files/$file.ms -S -g2 -o test/diff/$file.res \
+      -n2
+# should return an error 1 status
+if [ $? -gt 1 ]; then
+    exit 1
+fi
+
+diff test/diff/$file.res output_files/$file.res
+# should return an error 1 status
+if [ $? -gt 1 ]; then
+    exit 2
+fi
+
+rm test/diff/$file.res