Puzzles solved by ABC123