British comedy writer John Finnemore has solved Cain’s Jawbone, a murder mystery that has 32m possible combinations