F51.05: Insomnia due to other mental disorder