After this market closes, I will calculate the root-mean-square value of its probability (the power mean with power 2). I will use the exact probabilities, rather than the rounded ones, to do this. It will resolve YES if the value is greater than 1/√3 ≈ 0.57735, which is the RMS value of all numbers between 0 and 1, and therefore theoretically the "fair" value to use as the cutoff between a Team YES and Team NO victory (using 1/2 would give Team YES an advantage, since the RMS is larger than the straight average).