f4.sat