exp.sat