3072.sat