(SMTSOLVER STDIN "xxxx")
(VERBOSE on)