2372.sat