benelliott comments on What would you do with a solution to 3-SAT?

[benelliott]

This is correct.

Thanks for pointing that out.