2431.sat