2418.sat