Getting the Digits solutions

Getting the Digits was solved using Picat by 1 contestant.