Due to the appearance of the licensed users, the unlicensed users cannot access all of n channels, and we denote the channels not occupied by the licensed users as available.
both users can find out the set of available channels after taking a short sensing stage.