// maximum probability reach the final round without deciding
Pmax
=?[
F
s1
=
5
|
s2
=
5
]