It’s a free market of hash, so my thinking is mine wherever is most beneficial. Solo mining is great if you dont mind never finding a block and just supporting the network, or join a pool that upholds the values you want to see.
Mining in OFAC compliance can never be most beneficial for the long term so I would assume the free market will work it out