Puzzles solved by havranek