I wonder if Bernie would run third party if Hillary got the nomination?

My concern is that if Hilary gets it, enough anti-Clinton democrats (and we saw they exist during the PUMA mess eight years ago) may not bother to vote at all, potentially opening the door to a GOP victory.