Problem 2: The Bickering Task Force,
*(K Narayan Kumar, CMI)*

We meet our old friend the Despotic King again. The king was no
believer in democracy (understandably) and did not wish to share
any information regarding the running of his country even with the
nobles in his court. He had a inner circle (a *cabal*)
consisting of a few old friends from his youth and couple of
proteges and ran the kingdom with their help. It was however a
benevolent dictatorship and thus there was hardly a protest either
in the court or among the subjects.

The king's sons and potential successors were however of dubious attitude and quality. Clearly, dictatorship of the incompetent was the future of the country if the king were to abdicate or die. Some of the younger nobles banded together and confronted the king and demanded openness.

The king promised to appoint a Task Force with members selected from among the nobles to oversee the administration of the country. However he wished to choose its members in such a way that they would waste all their time fighting each other, leaving them no opportunity to introduce any changes in the way the country was being run.

His able advisor, the wily prime minister, gave him a list of
all the pairs of nobles who hated each other. The king then wanted
the minister to pick as large a Task Force as possible (so that his
generosity was evident), in such a way that each member of the Task
Force hates at least *K* other members (where *K* was
a number to be determined by the king). The Task Force cannot be
empty.

Note that whenever a pair of nobles "*A* and *B*"
appears in the prime minister's list, it means that *A*
hates *B* and, symmetrically, *B* hates
*A*.

Suppose there are 8 nobles and the prime minister's list says that the following pairs of nobles "hate each other":

1 and 2 1 and 3 1 and 5 1 and 6 2 and 5 2 and 6 3 and 4 3 and 5 4 and 6 4 and 7 5 and 6 7 and 8

For *K* = 2, {1,2,3,4,5,6} is the largest possible Task
Force in which everyone hates at least 2 others. In this Task
Force, 1 hates 2,3,5 and 6, 4 hates 3 and 6, and so on.

On the other hand, if the king sets *K* to 3 then
{1,2,5,6} would be largest Task Force in which everyone hates at
least 3 others. For *K* = 4 or more, as you can check, there
is no way to group the nobles so that every member hates *K*
or more other members in the group.

Your task is to help the minister determine the size of the largest Task Force that can be formed from a given set of nobles in accordance with the king's wishes.

Input format

The first line of the input contains three integers *N*,
*M* and *K*. *N* is the number of nobles,
*M* is the number of pairs of nobles who hate each other and
*K* is the minimum number of members that each member of the
chosen group must hate within the group.

The next *M* lines (lines 2,...,*M*+1) describe
the "hate" relationship. Line *i*+1 contains two space
separated integers *A*_{i} and
*B*_{i}, with 1 ≤ *A*_{i} <
*B*_{i} ≤ *N*, indicating that nobles
*A*_{i} and *B*_{i} hate each
other.

Output format

The first line of the output must contain either `YES` or
`NO`.

A `YES` in the first line indicates that it is possible
to select a Task Force in which each member hates at least
*K* others. In this case, the second line of the output
contains an integer *S* giving the size of the largest such
Task Force.

A `NO` indicates that it is not possible to form a Task
Force in which each member hates at least *K* others. In
this case the output consists of just one line.

Test Data:

You may assume that N < 3000.

Example:

Here are some sample inputs and outputs corresponding to the examples discussed above.

Sample Input 1

8 12 2 1 2 1 3 1 5 1 6 2 5 2 6 3 4 3 5 4 6 4 7 5 6 7 8

Sample Output 1

YES 6

Sample Input 2

8 12 3 1 2 1 3 1 5 1 6 2 5 2 6 3 4 3 5 4 6 4 7 5 6 7 8

Sample Output 2

YES 4

Sample Input 3

8 12 4 1 2 1 3 1 5 1 6 2 5 2 6 3 4 3 5 4 6 4 7 5 6 7 8

Sample Output 3

NO

CPU Timelimit: | 3 seconds |

Memory limit: | 64M |

Grading style: | ioi |