Puzzles solved by LLL