Counting and enumerating only optimal solutions