// with probability 1, eventually both stations have sent their packet correctly
Pmax=? [ F s1=12 & s2=12 ];