Assignment #2: Constraint Satisfaction