 Q: A coin is heads up. Tiesha does not flip the coin.  Raju does not flip the coin.  Mickaila does not flip the coin.  Welty flips the coin.  Ashya flips the coin.  Martyna does not flip the coin.  Steffler flips the coin.  Joshus does not flip the coin.  Nadea flips the coin.  Zandur flips the coin.  Blaz flips the coin.  Aws does not flip the coin.  Alan does not flip the coin.  Seafowl does not flip the coin.  Torruella flips the coin.  Is the coin still heads up? 