The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning