2252.sat