Satisfiability Problem - inbunden, Engelska, 1997