Chapter 9 Typo

[dan4jy]

In Satisfiability, Validity; Paragraph 5 - sometimes is spelled somtetimes in the phrase "The problem of finding a Boolean expression that satisfies a Boolean formula is thus somtetimes called the model finding problem"