[UncleMeat]

> There's a $200,000 bounty paid out every ten minutes for solutions to a well-known SAT problem.

I don't think I would describe SHA256 prefix matching as "a well-known SAT problem".