The Story of Battleship Solver