Where is search.php?

I've got a site on Wordpress 4.0.1, and I can't find search.php.

A database batch process has applied a template to the default search results page, but I now can't find the page to change it back.

How can I change the template of this page?

Would creating a new "search.php" in my theme help? If so, what should this file contain?