const int T;

Pmin=? [ F<=T "done" ]