Puzzles solved by krak