Puzzles solved by BIGDOG