Puzzles solved by JOHA