f3.sat