Fully Automatic SMT