Find solution is lexicographically greatest.