2745.sat