# Is SAT an existential question?

Some sources state that an algorithm that solves the SAT problem not only needs to decide whether a given existentially-quantified formula is satisfiable or not, but, additionally, in the case where the formula is satisfiable, it does need to provide a satisfying assignment. Is this true or not?

I am bit confused, since I thought the SAT problem would just be an existential question.

The SAT problem is a decision problem. It means that an algorithm that solves SAT must answer true or false, and not necessarily find a satisfying assignment.