rex.sat