2572.sat