Puzzles solved by JANKA