Puzzles solved by BAT