solver's name