Title: Applied Satisfiability