Added a problem forumlation tex-file.