iff.sat