Constraint Modelling Challenge 2005