Which of the following methods for solving CSP can:

$1.$ determine that there is no model, if there is not one

$2.$ find a model if one exists

$3.$ find all models? The methods to consider are: a$)$ arc consistency with domain splitting b$)$ variable eliminations c$)$ stochastic beam search