Satisfiability Advancements Enabled By State Machines