information about Satisfiability modulo theories field