Problem solving through sleep