Класичною задачею у теорії графів є задача знаходження клік. Розглянемо неорієнтовний граф з вершин. Кліка – це повний підграф, тобто, це такий набір з вершин, що усі можливі ребра між цими вершинами існують. У цій задачі вас також запитують, чи існують кліки у заданому графі. Щоб спростити задачу, вам задано, що k = 4, тобто, ви шукаєте кліки розміру .
Вхідні дані будуть містити декілька наборів. Перший рядок кожного набору складається з двох цілих чисел - кількості вершин (n < 20) та числа ребер (m < 100). Другий рядок набору містить пар чисел, кожна з яких позначає наявність відповідного неорієнтовного ребра. Вершини перенумеровано від до . У списку ребер немає повторень. Останній рядок містить та не обробляється.
Для кожного тесту вивести в окремому рядку YES або NO у залежності від того, чи містить граф кліку розміру чи ні.
Приклад 1