A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems