I have two credit cards, each of which has a four-digit PIN. Together the two PINs consist of eight different non-zero digits, whilst the four digits of each of them individually add up to 19.