Best-known CA bounds for t=5, v=12

kNBestVerifiedMethods
5248832248832✓Trivial