 Q: A coin is heads up. Mariolina does not flip the coin.  Mariuxi flips the coin.  Lenardo flips the coin.  Minix flips the coin.  Lauraetta does not flip the coin.  Fuqua flips the coin.  Avaree flips the coin.  Traevin flips the coin.  Eivin flips the coin.  Ruhal does not flip the coin.  Grigger does not flip the coin.  Jurian does not flip the coin.  Jethro does not flip the coin.  Miryam does not flip the coin.  Amberlie flips the coin.  Is the coin still heads up? 