I concur with @LSATcantwin a light workout when you first roll out of bed could force you to wake up. Also, I like to take half a melatonin if I'm buzzed and can't go to sleep early. Usually knocks me out with in 30 minutes.
@"vanessa fisher" Right. Even J.Y. does not get all the inferences. His ability to brute force at supersonic speed, though, is almost superhuman, so he can afford to miss some inferences and still be super fast.