If this market closes at or below 10% (as displayed by the UI), resolves YES. Otherwise, resolves NO.

This market will close at a random time on October 13th between 5:00 and 6:00 PM EST.

@mods Please unrank.