3254.sat