Consistency and satisfiability in constraint satisfaction problems