Proceedings of the 7th International Workshop on Satisfiability Modulo Theories