 The "satisfiability problem", also called the "feasibility problem", is just the problem of finding any feasible solution at all without regard to objective value.This can be regarded as the special case of mathematical optimization where the objective value is the same for every solution, and thus any solution is optimal.Many optimization algorithms need to start from a feasible point.