Satisfiability Problem - sidottu, Englanti, 1997