2016.11.08 15:04:33 (795990395490603009) from Daniel J. Bernstein:
A bold claim without evidence from @Reini_Urban in https://github.com/rurban/smhasher/: generic SMT solvers can find keys for SipHash and (seeded) SHA1.