1354.sat