LetSAT best comments


v20240901