done with the Sleeping Barber problem