2374.sat