// RESULT: 1.0
P=? [ F<=3 x=0 ];