2072.sat