diff --git a/examples/flatzinc/no_solve_item.fzn b/examples/flatzinc/no_solve_item.fzn
new file mode 100644
index 0000000000..0906db5e58
--- /dev/null
+++ b/examples/flatzinc/no_solve_item.fzn
@@ -0,0 +1,6 @@
+var 280..10000: summa;
+var 0..100: x1 :: output_var;
+var 0..100: x2 :: output_var;
+var 0..100: x3 :: output_var;
+constraint int_lin_eq([-1, 60, 30, 20], [summa, x1, x2, x3], 0);
+solve maximize summa;