@alketcecaj: Yes it is a SMT