Talk:Satisfiability modulo theories/to do