SUNNY-CP and the minizinc challenge