f2.sat