===========================================================================
Buyer: Can someone please Pay20000 and GiveCarExpensively so we can achieve CarSoldExpensively?
Seller: Can someone please Pay20000 so we can achieve GetLots?
Seller: I will GiveCarExpensively if others Pay20000.
Seller: Can someone please Pay10000 so we can achieve GetLittle?
Buyer: I will Pay10000 if others Pay20000 and GiveCarExpensively.
Seller: I will GiveCarCheaply if others Pay10000.
===========================================================================
===========================================================================
===========================================================================
(State of Buyer) is: Start.
(State of Seller) is: Start.