3745.sat