Puzzles solved by javc