Показать, что DOUBLE-SAT находится в NP [закрыто]

Question

Пусть DOUBLE-SAT = {⟨φ⟩ | φ имеет по крайней мере два удовлетворяющих назначения}. Покажите, что DOUBLE-SAT находится в NP, указав для него верификатор с полиномиальным временем и объяснив, почему верификатор работает за полиномиальное время. Пожалуйста, помогите