[zero]

normally i would say give it to the guy with the straight flush, but if HE mucked his cards then they are mucked.If the dealer mucked his cards and was also the other player then that is dodgy and you should give it to the guy with the straight flush as it sounds like the player (dealer) knew and tried to hide it.Still what a retard in any case; almost deserves to lose regardless