rllurfc n * ( sat.f.n.