typo.
mzn_numberjack script by Simon de Givry.