Two Zebra Puzzle Solvers.