testsolv: support '-s' option to take solutions