Correct answer is (b) Non-verifiable
Explanation: An SRS is unambiguous if and only if, every requirement stated therein has only one unique interpretation. The given statement does not answer the question: “which data set will have an end of file character ?”.