- define solvid2str() function, use sat_sort()