adad
added smtsolver option