I'd milk it. Generate income from it (SAT-As-A-Service), advertise if necessary (logistics companies, universities, etc), generate more income and once the trend peaks I'd sell it to the highest bidder (make sure to mention the amount of happy users I have).
Well, it's not quite a true SAT solver. It can solve SAT in P, for random, unstructured problems, but there is a certain probability that it can't solve a problem, even if the problem actually has a solution. The more clauses, the higher the probability that my solver can't solve it.
