diff --git a/JLC_SMT_Helper_2022-04-21_07-14-29.png b/JLC_SMT_Helper_2022-04-21_07-14-29.png
new file mode 100644
index 0000000..d6c49aa
Binary files /dev/null and b/JLC_SMT_Helper_2022-04-21_07-14-29.png differ