4493.sat