Taking CLP(FD) approach