56976
The precise statement of the " P " versus " NP " problem was introduced in 1971 by Stephen Cook in his seminal paper " The complexity of theorem proving procedures " ( and independently by Leonid Levin in 1973 ) and is considered by many to be the most important open problem in computer science .
 Stephen Cook, Leonid Levin
Please list all entity words in the text that fit the category. Output format is "word1, word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
Answer:
 Stephen Cook, Leonid Levin