4 coin problem