1072.sat