[querez]

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

I'm not sure I follow -- do you mean there is a challenge open somewhere which pays 200k$?

[rrobukef]

Bitcoin. Bitcoin relies on SAT being unsolvable.

[echelon]

The payout is pretty great.

Solve SAT.

Short the hell out of bitcoin.

Release solution.

[rrobukef]

Solve SAT. Mine 1 block each day. Sell.

[echelon]

That's a great way to make millions instead of billions.