3418.sat