5734.sat