2371.sat