fex.sat