2344.sat