Puzzles solved by Unicat