Performance on a simple response time task: Is sleep or work more important for miners?