A Comprehensive Guide to SMT Machines: Types, Working, and FAQs|SZWIT