use `uniq`, imported from iterables, instead. The ordered results of solve are destroyed by this set command.