Will resolve yes if LK-99 turns out to be a "traditional" type II superconductor before year 2025.
Will resolve no if LK-99 has the superconducting property of nearly zero* resistivity, but does not have all of the features of a traditional type II superconductor (before 2025). This could mean it is a type I superconductor, a type III superconductor, or some novel type of superconductor entirely.
Will resolve N/A if LK-99 turns out to have no interesting superconducting properties by 2025.
I will not bet in this market. Market may be resolved early.
*Within the bound of experimental measurements; for SC resistivity this is nominally 10^-10 Ohm-Meters.
FWIW, superconductors have actually zero resistance, but we can't measure zero so that would be the reason to define a threshold. The threshold should also be for the resistivity of the material, not the resistance which depends on the geometry.