 In fact, every price between 10 and 20 will be a CE price, with the same allocation.The same situation holds when the car is not initially held by Alice but rather in an auction in which both Alice and Bob are buyers