If you don't feel rested after 7 hours you probably should make an effort to sleep an extra hours. You will be more productive and happy in 16 hours after a goo

If you don't feel rested after 7 hours you probably should make an effort to sleep an extra hours. You will be more productive and happy in 16 hours after a good sleep, than in 17 sleep-deprived hours.