F-SMT