4670.sat