Yes. As always in such puzzles, they know everything and have perfect reasoning, at least as far as logic permits.