4345.sat