The Exact Closest String Problem as a Constraint Satisfaction Problem