4072.sat