2352.sat