4252.sat